Task Implementation of Synchronous Finite State Machines