Characterizing equation & definition of synchronous sequential machines