This is a fairly complex answer, but it basically boils down to a few oversimplified steps. First, design a language, or find the specifications for a language you would like to use. Second, design a...
Automata is the science of state machines. State machines are (programming) entities with defined states and procedures (rules) for going from one state to another.
An example might be an elevator....