Theory of computation: TERMS

formal language theory formal semantics denotational semantics operational semantics context-free grammar context-sensitive grammar regular language regular expression

formal grammar alphabet lexical element elementary symbol production rules symbols terminal nonterminal string kleene star