411 REFERENCE · Wikibooks
Formal Languages and Logic/Chomsky grammars
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Chomsky grammar A Chomsky grammar is a quartuple , where is an alphabet, is a set such that , and .
terminal symbol Let be a Chomsky grammar. A nonterminal symbol of is an element of .
nonterminal symbol Let be a Chomsky grammar. A nonterminal symbol of is an element of .
production Let be a Chomsky grammar. A production of is an element of .
Productions will be denoted as instead of the tuple notation .
start symbol Let be a Chomsky grammar. Then is the start symbol of .
language generated by a Chomsky grammar Let be a Chomsky grammar. Then the language generated by is the language