Alan JoRelation
Regular expression determines regular language / FAs - Lexical analysis
Context Free Grammar determines context free language - PDAs - syntax analysis
language terminal set is only one but RE, FAs, CFG, PDAs can be various
FA instance is one computation model, TM instance is one program
Automaton Relation Notion