Structures and methods synthesis of firmware automata automata with operational transformation state codes Temporal machines