The encoding for a machine with any number of states and any number of symbols:
Each state and each symbol will be numbered in binary, all the numbers must be padded to the same length. So, we can have symbols that number from 000 to 100, and states that number from 0010 to 1100.
Firstly, [...]