The synthesis of periodic sequential machines