Discrete-state machines manipulate symbols purely by syntactic rules, never grounding symbols in gen...