Some Techniques of State Assignment for Synchronous Sequential Machines