Contextfree grammar
This article needs additional citations for verification. (February 2012) (Learn how and when to remove this template message)

In formal language theory, a contextfree grammar (CFG) is a certain type of formal grammar: a set of production rules that describe all possible strings in a given formal language. Production rules are simple replacements. For example, the rule
replaces with . There can be multiple replacement rules for any given value. For example,
means that can be replaced with either or .
In contextfree grammars, all rules are onetoone, onetomany, or onetonone. These rules can be applied regardless of context. The lefthand side of the production rule is always a nonterminal symbol. This means that the symbol does not appear in the resulting formal language. So in our case, our language contains the letters and but not ^{[1]}
Rules can also be applied in reverse to check if a string is grammatically correct according to the grammar.
Here is an example contextfree grammar that describes all twoletter strings containing the letters or .
If we start with the nonterminal symbol then we can use the rule to turn into . We can then apply one of the two later rules. For example, if we apply to the first we get . If we then apply to the second we get . Since both and are terminal symbols, and in contextfree grammars terminal symbols never appear on the left hand side of a production rule, there are no more rules that can be applied. This same process can be used, applying the last two rules in different orders in order to get all possible strings within our simple contextfree grammar.
Languages generated by contextfree grammars are known as contextfree languages (CFL). Different contextfree grammars can generate the same contextfree language. It is important to distinguish the properties of the language (intrinsic properties) from the properties of a particular grammar (extrinsic properties). The language equality question (do two given contextfree grammars generate the same language?) is undecidable.
Contextfree grammars arise in linguistics where they are used to describe the structure of sentences and words in a natural language, and they were in fact invented by the linguist Noam Chomsky for this purpose, but have not really lived up to their original expectation. By contrast, in computer science, as the use of recursivelydefined concepts increased, they were used more and more. In an early application, grammars are used to describe the structure of programming languages. In a newer application, they are used in an essential part of the Extensible Markup Language (XML) called the Document Type Definition.^{[2]}
In linguistics, some authors use the term phrase structure grammar to refer to contextfree grammars, whereby phrasestructure grammars are distinct from dependency grammars. In computer science, a popular notation for contextfree grammars is Backus–Naur form, or BNF.
Contents
 1 Background
 2 Formal definitions
 3 Examples
 4 Examples of languages that are not context free
 5 Regular grammars
 6 Derivations and syntax trees
 7 Normal forms
 8 Closure properties
 9 Decidable problems
 10 Undecidable problems
 11 Extensions
 12 Subclasses
 13 Linguistic applications
 14 See also
 15 Notes
 16 References
 17 External links
Background
Since the time of Pāṇini, at least, linguists have described the grammars of languages in terms of their block structure, and described how sentences are recursively built up from smaller phrases, and eventually individual words or word elements. An essential property of these block structures is that logical units never overlap. For example, the sentence:
 John, whose blue car was in the garage, walked to the grocery store.
can be logically parenthesized as follows:
 (John, ((whose blue car) (was (in the garage))), (walked (to (the grocery store)))).
A contextfree grammar provides a simple and mathematically precise mechanism for describing the methods by which phrases in some natural language are built from smaller blocks, capturing the "block structure" of sentences in a natural way. Its simplicity makes the formalism amenable to rigorous mathematical study. Important features of natural language syntax such as agreement and reference are not part of the contextfree grammar, but the basic recursive structure of sentences, the way in which clauses nest inside other clauses, and the way in which lists of adjectives and adverbs are swallowed by nouns and verbs, is described exactly.
Contextfree grammars are a special form of SemiThue systems that in their general form date back to the work of Axel Thue.
The formalism of contextfree grammars was developed in the mid1950s by Noam Chomsky,^{[3]} and also their classification as a special type of formal grammar (which he called phrasestructure grammars).^{[4]} What Chomsky called a phrase structure grammar is also known now as a constituency grammar, whereby constituency grammars stand in contrast to dependency grammars. In Chomsky's generative grammar framework, the syntax of natural language was described by contextfree rules combined with transformation rules.
Block structure was introduced into computer programming languages by the Algol project (1957–1960), which, as a consequence, also featured a contextfree grammar to describe the resulting Algol syntax. This became a standard feature of computer languages, and the notation for grammars used in concrete descriptions of computer languages came to be known as Backus–Naur form, after two members of the Algol language design committee.^{[3]} The "block structure" aspect that contextfree grammars capture is so fundamental to grammar that the terms syntax and grammar are often identified with contextfree grammar rules, especially in computer science. Formal constraints not captured by the grammar are then considered to be part of the "semantics" of the language.
Contextfree grammars are simple enough to allow the construction of efficient parsing algorithms that, for a given string, determine whether and how it can be generated from the grammar. An Earley parser is an example of such an algorithm, while the widely used LR and LL parsers are simpler algorithms that deal only with more restrictive subsets of contextfree grammars.
Formal definitions
A contextfree grammar G is defined by the 4tuple:^{[5]}
where
 V is a finite set; each element is called a nonterminal character or a variable. Each variable represents a different type of phrase or clause in the sentence. Variables are also sometimes called syntactic categories. Each variable defines a sublanguage of the language defined by G.
 Σ is a finite set of terminals, disjoint from V, which make up the actual content of the sentence. The set of terminals is the alphabet of the language defined by the grammar G.
 R is a finite relation from V to , where the asterisk represents the Kleene star operation. The members of R are called the (rewrite) rules or productions of the grammar. (also commonly symbolized by a P)
 S is the start variable (or start symbol), used to represent the whole sentence (or program). It must be an element of V.
Production rule notation
A production rule in R is formalized mathematically as a pair , where is a nonterminal and is a string of variables and/or terminals; rather than using ordered pair notation, production rules are usually written using an arrow operator with α as its left hand side and β as its right hand side: .
It is allowed for β to be the empty string, and in this case it is customary to denote it by ε. The form is called an εproduction.^{[6]}
It is common to list all righthand sides for the same lefthand side on the same line, using  (the pipe symbol) to separate them. Rules and can hence be written as . In this case, and is called the first and second alternative, respectively.
Rule application
For any strings , we say u directly yields v, written as , if with and such that and . Thus, v is a result of applying the rule to u.
Repetitive rule application
For any strings we say u yields v, written as (or in some textbooks), if such that . In this case, if (i.e., ), the relation holds. In other words, and are the reflexive transitive closure (allowing a word to yield itself) and the transitive closure (requiring at least one step) of , respectively.
Contextfree language
The language of a grammar is the set
A language L is said to be a contextfree language (CFL), if there exists a CFG G, such that .
Nondeterministic pushdown automata recognize exactly the contextfree languages.
Proper CFGs
A contextfree grammar is said to be proper,^{[7]} if it has
 no unreachable symbols:
 no unproductive symbols:
 no εproductions:
 no cycles:
Every contextfree grammar can be effectively transformed into a weakly equivalent one without unreachable symbols,^{[8]} a weakly equivalent one without unproductive symbols,^{[9]} and a weakly equivalent one without cycles.^{[10]} Every contextfree grammar not producing ε can be effectively transformed into a weakly equivalent one without εproductions;^{[11]} altogether, every such grammar can be effectively transformed into a weakly equivalent proper CFG.
Examples
This section needs additional citations for verification. (July 2018) (Learn how and when to remove this template message)

Words concatenated with their reverse
The grammar , with productions
 S → aSa,
 S → bSb,
 S → ε,
is contextfree. It is not proper since it includes an εproduction. A typical derivation in this grammar is
 S → aSa → aaSaa → aabSbaa → aabbaa.
This makes it clear that . The language is contextfree, however, it can be proved that it is not regular.
Wellformed parentheses
The canonical example of a contextfree grammar is parenthesis matching, which is representative of the general case. There are two terminal symbols "(" and ")" and one nonterminal symbol S. The production rules are
 S → SS
 S → (S)
 S → ()
The first rule allows the S symbol to multiply; the second rule allows the S symbol to become enclosed by matching parentheses; and the third rule terminates the recursion.
Wellformed nested parentheses and square brackets
A second canonical example is two different kinds of matching nested parentheses, described by the productions:
 S → SS
 S → ()
 S → (S)
 S → []
 S → [S]
with terminal symbols [ ] ( ) and nonterminal S.
The following sequence can be derived in that grammar:
 ([ [ [ ()() [ ][ ] ] ]([ ]) ])
Matching pairs
In a contextfree grammar, we can pair up characters the way we do with brackets. The simplest example:
 S → aSb
 S → ab
This grammar generates the language , which is not regular (according to the pumping lemma for regular languages).
The special character ε stands for the empty string. By changing the above grammar to
 S → aSb  ε
we obtain a grammar generating the language instead. This differs only in that it contains the empty string while the original grammar did not.
Distinct number of a's and b's
A contextfree grammar for the language consisting of all strings over {a,b} containing an unequal number of a's and b's:
 S → U  V
 U → TaU  TaT  UaT
 V → TbV  TbT  VbT
 T → aTbT  bTaT  ε
Here, the nonterminal T can generate all strings with the same number of a's as b's, the nonterminal U generates all strings with more a's than b's and the nonterminal V generates all strings with fewer a's than b's. Omitting the third alternative in the rule for U and V doesn't restrict the grammar's language.
Second block of b's of double size
Another example of a nonregular language is . It is contextfree as it can be generated by the following contextfree grammar:
 S → bSbb  A
 A → aA  ε
Firstorder logic formulas
The formation rules for the terms and formulas of formal logic fit the definition of contextfree grammar, except that the set of symbols may be infinite and there may be more than one start symbol.
Examples of languages that are not context free
In contrast to wellformed nested parentheses and square brackets in the previous section, there is no contextfree grammar for generating all sequences of two different types of parentheses, each separately balanced disregarding the other, where the two types need not nest inside one another, for example:
 [ ( ] )
or
 [ [ [ [(((( ] ] ] ]))))(([ ))(([ ))([ )( ])( ])( ])
The fact that this language is not context free can be proven using Pumping lemma for contextfree languages and a proof by contradiction, observing that all words of the form should belong to the language. This language belongs instead to a more general class and can be described by a conjunctive grammar, which in turn also includes other noncontextfree languages, such as the language of all words of the form .
Regular grammars
Every regular grammar is contextfree, but not all contextfree grammars are regular.^{[12]} The following contextfree grammar, however, is also regular.
 S → a
 S → aS
 S → bS
The terminals here are a and b, while the only nonterminal is S. The language described is all nonempty strings of s and s that end in .
This grammar is regular: no rule has more than one nonterminal in its righthand side, and each of these nonterminals is at the same end of the righthand side.
Every regular grammar corresponds directly to a nondeterministic finite automaton, so we know that this is a regular language.
Using pipe symbols, the grammar above can be described more tersely as follows:
 S → a  aS  bS
Derivations and syntax trees
A derivation of a string for a grammar is a sequence of grammar rule applications that transform the start symbol into the string. A derivation proves that the string belongs to the grammar's language.
A derivation is fully determined by giving, for each step:
 the rule applied in that step
 the occurrence of its lefthand side to which it is applied
For clarity, the intermediate string is usually given as well.
For instance, with the grammar:
(1) S → S + S (2) S → 1 (3) S → a
the string
1 + 1 + a
can be derived with the derivation:
S → (rule 1 on the first S) S+S → (rule 1 on the second S) S+S+S → (rule 2 on the second S) S+1+S → (rule 3 on the third S) S+1+a → (rule 2 on the first S) 1+1+a
Often, a strategy is followed that deterministically determines the next nonterminal to rewrite:
 in a leftmost derivation, it is always the leftmost nonterminal;
 in a rightmost derivation, it is always the rightmost nonterminal.
Given such a strategy, a derivation is completely determined by the sequence of rules applied. For instance, the leftmost derivation
S → (rule 1 on the first S) S+S → (rule 2 on the first S) 1+S → (rule 1 on the first S) 1+S+S → (rule 2 on the first S) 1+1+S → (rule 3 on the first S) 1+1+a
can be summarized as
rule 1, rule 2, rule 1, rule 2, rule 3
The distinction between leftmost derivation and rightmost derivation is important because in most parsers the transformation of the input is defined by giving a piece of code for every grammar rule that is executed whenever the rule is applied. Therefore, it is important to know whether the parser determines a leftmost or a rightmost derivation because this determines the order in which the pieces of code will be executed. See for an example LL parsers and LR parsers.
A derivation also imposes in some sense a hierarchical structure on the string that is derived. For example, if the string "1 + 1 + a" is derived according to the leftmost derivation:
 S → S + S (1)
 → 1 + S (2)
 → 1 + S + S (1)
 → 1 + 1 + S (2)
 → 1 + 1 + a (3)
the structure of the string would be:
 { { 1 }_{S} + { { 1 }_{S} + { a }_{S} }_{S} }_{S}
where { ... }_{S} indicates a substring recognized as belonging to S. This hierarchy can also be seen as a tree:
This tree is called a parse tree or "concrete syntax tree" of the string, by contrast with the abstract syntax tree. In this case the presented leftmost and the rightmost derivations define the same parse tree; however, there is another (rightmost) derivation of the same string
 S → S + S (1)
 → S + a (3)
 → S + S + a (1)
 → S + 1 + a (2)
 → 1 + 1 + a (2)
and this defines the following parse tree:
Note however that both parse trees can be obtained by both leftmost and rightmost derivations. For example, the last tree can be obtained with the leftmost derivation as follows:
 S → S + S (1)
 → S + S + S (1)
 → 1 + S + S (2)
 → 1 + 1 + S (2)
 → 1 + 1 + a (3)
If a string in the language of the grammar has more than one parsing tree, then the grammar is said to be an ambiguous grammar. Such grammars are usually hard to parse because the parser cannot always decide which grammar rule it has to apply. Usually, ambiguity is a feature of the grammar, not the language, and an unambiguous grammar can be found that generates the same contextfree language. However, there are certain languages that can only be generated by ambiguous grammars; such languages are called inherently ambiguous languages.
Example: Algebraic expressions
Here is a contextfree grammar for syntactically correct infix algebraic expressions in the variables x, y and z:
 S → x
 S → y
 S → z
 S → S + S
 S → S  S
 S → S * S
 S → S / S
 S → ( S )
This grammar can, for example, generate the string
 ( x + y ) * x  z * y / ( x + x )
as follows:
 S (the start symbol)
 → S  S (by rule 5)
 → S * S  S (by rule 6, applied to the leftmost S)
 → S * S  S / S (by rule 7, applied to the rightmost S)
 → ( S ) * S  S / S (by rule 8, applied to the leftmost S)
 → ( S ) * S  S / ( S ) (by rule 8, applied to the rightmost S)
 → ( S + S ) * S  S / ( S ) (etc.)
 → ( S + S ) * S  S * S / ( S )
 → ( S + S ) * S  S * S / ( S + S )
 → ( x + S ) * S  S * S / ( S + S )
 → ( x + y ) * S  S * S / ( S + S )
 → ( x + y ) * x  S * y / ( S + S )
 → ( x + y ) * x  S * y / ( x + S )
 → ( x + y ) * x  z * y / ( x + S )
 → ( x + y ) * x  z * y / ( x + x )
Note that many choices were made underway as to which rewrite was going to be performed next. These choices look quite arbitrary. As a matter of fact, they are, in the sense that the string finally generated is always the same. For example, the second and third rewrites
 → S * S  S (by rule 6, applied to the leftmost S)
 → S * S  S / S (by rule 7, applied to the rightmost S)
could be done in the opposite order:
 → S  S / S (by rule 7, applied to the rightmost S)
 → S * S  S / S (by rule 6, applied to the leftmost S)
Also, many choices were made on which rule to apply to each selected S
.
Changing the choices made and not only the order they were made in usually affects which terminal string comes out at the end.
Let's look at this in more detail. Consider the parse tree of this derivation:
Starting at the top, step by step, an S in the tree is expanded, until no more unexpanded S
es (nonterminals) remain.
Picking a different order of expansion will produce a different derivation, but the same parse tree.
The parse tree will only change if we pick a different rule to apply at some position in the tree.
But can a different parse tree still produce the same terminal string,
which is ( x + y ) * x  z * y / ( x + x )
in this case?
Yes, for this particular grammar, this is possible.
Grammars with this property are called ambiguous.
For example, x + y * z
can be produced with these two different parse trees:
However, the language described by this grammar is not inherently ambiguous: an alternative, unambiguous grammar can be given for the language, for example:
 T → x
 T → y
 T → z
 S → S + T
 S → S  T
 S → S * T
 S → S / T
 T → ( S )
 S → T
(once again picking S
as the start symbol). This alternative grammar will produce x + y * z
with a parse tree similar to the left one above, i.e. implicitly assuming the association (x + y) * z
, which is not according to standard operator precedence. More elaborate, unambiguous and contextfree grammars can be constructed that produce parse trees that obey all desired operator precedence and associativity rules.
Normal forms
Every contextfree grammar that does not generate the empty string can be transformed into one in which there is no εproduction (that is, a rule that has the empty string as a product). If a grammar does generate the empty string, it will be necessary to include the rule , but there need be no other εrule. Every contextfree grammar with no εproduction has an equivalent grammar in Chomsky normal form, and a grammar in Greibach normal form. "Equivalent" here means that the two grammars generate the same language.
The especially simple form of production rules in Chomsky normal form grammars has both theoretical and practical implications. For instance, given a contextfree grammar, one can use the Chomsky normal form to construct a polynomialtime algorithm that decides whether a given string is in the language represented by that grammar or not (the CYK algorithm).
Closure properties
Contextfree languages are closed under the various operations, that is, if the languages K and L are contextfree, so is the result of the following operations:
 union K ∪ L; concatenation K ∘ L; Kleene star L^{*}^{[13]}
 substitution (in particular homomorphism)^{[14]}
 inverse homomorphism^{[15]}
 intersection with a regular language^{[16]}
They are not closed under general intersection (hence neither under complementation) and set difference.^{[17]}
Decidable problems
The following are some decidable problems about contextfree grammars.
Parsing
The parsing problem, checking whether a given word belongs to the language given by a contextfree grammar, is decidable, using one of the generalpurpose parsing algorithms:
Reachability, productiveness, nullability
It is decidable to check whether a given nonterminal of a contextfree grammar is reachable, whether it is productive, and whether it is nullable (that is, it can derive an empty string).
Regularity and LL(1) checks
It is decidable whether a given grammar is a regular grammar, as well as whether it is an LL(1) grammar (see LL parser).
Emptiness and finiteness
There are algorithms to decide whether a language of a given contextfree language is empty, as well as whether it is finite.^{[18]}.
Undecidable problems
Some questions that are undecidable for wider classes of grammars become decidable for contextfree grammars; e.g. the emptiness problem (whether the grammar generates any terminal strings at all), is undecidable for contextsensitive grammars, but decidable for contextfree grammars.
However, many problems are undecidable even for contextfree grammars. Examples are:
Universality
Given a CFG, does it generate the language of all strings over the alphabet of terminal symbols used in its rules?^{[19]}^{[20]}
A reduction can be demonstrated to this problem from the wellknown undecidable problem of determining whether a Turing machine accepts a particular input (the halting problem). The reduction uses the concept of a computation history, a string describing an entire computation of a Turing machine. A CFG can be constructed that generates all strings that are not accepting computation histories for a particular Turing machine on a particular input, and thus it will accept all strings only if the machine doesn't accept that input.
Language equality
Given two CFGs, do they generate the same language?^{[20]}^{[21]}
The undecidability of this problem is a direct consequence of the previous: it is impossible to even decide whether a CFG is equivalent to the trivial CFG defining the language of all strings.
Language inclusion
Given two CFGs, can the first one generate all strings that the second one can generate?^{[20]}^{[21]}
If this problem was decidable, then language equality could be decided too: two CFGs G1 and G2 generate the same language if L(G1) is a subset of L(G2) and L(G2) is a subset of L(G1).
Being in a lower or higher level of the Chomsky hierarchy
Using Greibach's theorem, it can be shown that the two following problems are undecidable:
 Given a contextsensitive grammar, does it describe a contextfree language?
 Given a contextfree grammar, does it describe a regular language?^{[20]}^{[21]}
Grammar ambiguity
Given a CFG, is it ambiguous?
The undecidability of this problem follows from the fact that if an algorithm to determine ambiguity existed, the Post correspondence problem could be decided, which is known to be undecidable.
Language disjointness
Given two CFGs, is there any string derivable from both grammars?
If this problem was decidable, the undecidable Post correspondence problem could be decided, too: given strings over some alphabet , let the grammar consist of the rule
 ;
where denotes the reversed string and doesn't occur among the ; and let grammar consist of the rule
 ;
Then the Post problem given by has a solution if and only if and share a derivable string.
Extensions
An obvious way to extend the contextfree grammar formalism is to allow nonterminals to have arguments, the values of which are passed along within the rules. This allows natural language features such as agreement and reference, and programming language analogs such as the correct use and definition of identifiers, to be expressed in a natural way. E.g. we can now easily express that in English sentences, the subject and verb must agree in number. In computer science, examples of this approach include affix grammars, attribute grammars, indexed grammars, and Van Wijngaarden twolevel grammars. Similar extensions exist in linguistics.
An extended contextfree grammar (or regular right part grammar) is one in which the righthand side of the production rules is allowed to be a regular expression over the grammar's terminals and nonterminals. Extended contextfree grammars describe exactly the contextfree languages.^{[22]}
Another extension is to allow additional terminal symbols to appear at the lefthand side of rules, constraining their application. This produces the formalism of contextsensitive grammars.
Subclasses
There are a number of important subclasses of the contextfree grammars:
 LR(k) grammars (also known as deterministic contextfree grammars) allow parsing (string recognition) with deterministic pushdown automata (PDA), but they can only describe deterministic contextfree languages.
 Simple LR, LookAhead LR grammars are subclasses that allow further simplification of parsing. SLR and LALR are recognized using the same PDA as LR, but with simpler tables, in most cases.
 LL(k) and LL(*) grammars allow parsing by direct construction of a leftmost derivation as described above, and describe even fewer languages.
 Simple grammars are a subclass of the LL(1) grammars mostly interesting for its theoretical property that language equality of simple grammars is decidable, while language inclusion is not.
 Bracketed grammars have the property that the terminal symbols are divided into left and right bracket pairs that always match up in rules.
 Linear grammars have no rules with more than one nonterminal on the righthand side.
 Regular grammars are a subclass of the linear grammars and describe the regular languages, i.e. they correspond to finite automata and regular expressions.
LR parsing extends LL parsing to support a larger range of grammars; in turn, generalized LR parsing extends LR parsing to support arbitrary contextfree grammars. On LL grammars and LR grammars, it essentially performs LL parsing and LR parsing, respectively, while on nondeterministic grammars, it is as efficient as can be expected. Although GLR parsing was developed in the 1980s, many new language definitions and parser generators continue to be based on LL, LALR or LR parsing up to the present day.
Linguistic applications
Chomsky initially hoped to overcome the limitations of contextfree grammars by adding transformation rules.^{[4]}
Such rules are another standard device in traditional linguistics; e.g. passivization in English. Much of generative grammar has been devoted to finding ways of refining the descriptive mechanisms of phrasestructure grammar and transformation rules such that exactly the kinds of things can be expressed that natural language actually allows. Allowing arbitrary transformations does not meet that goal: they are much too powerful, being Turing complete unless significant restrictions are added (e.g. no transformations that introduce and then rewrite symbols in a contextfree fashion).
Chomsky's general position regarding the noncontextfreeness of natural language has held up since then,^{[23]} although his specific examples regarding the inadequacy of contextfree grammars in terms of their weak generative capacity were later disproved.^{[24]} Gerald Gazdar and Geoffrey Pullum have argued that despite a few noncontextfree constructions in natural language (such as crossserial dependencies in Swiss German^{[23]} and reduplication in Bambara^{[25]}), the vast majority of forms in natural language are indeed contextfree.^{[24]}
See also
 Parsing expression grammar
 Stochastic contextfree grammar
 Algorithms for contextfree grammar generation
 Pumping lemma for contextfree languages
Parsing algorithms
Notes
 ^ Stephen Scheinberg, Note on the Boolean Properties of ContextFree Languages, Information and Control, 3, 372–375 (1960).
 ^ Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Addison Wesley, 2001, p.191
 ^ ^{a} ^{b} Hopcroft & Ullman (1979), p. 106.
 ^ ^{a} ^{b} Chomsky, Noam (Sep 1956), "Three models for the description of language" (PDF), Information Theory, IEEE Transactions, 2 (3): 113–124, doi:10.1109/TIT.1956.1056813, archived from the original (PDF) on 20131018, retrieved 20070618
 ^ The notation here is that of Sipser (1997), p. 94. Hopcroft & Ullman (1979) (p. 79) define contextfree grammars as 4tuples in the same way, but with different variable names.
 ^ Hopcroft & Ullman (1979), pp. 90–92.
 ^ Nijholt, Anton (1980), Contextfree grammars: covers, normal forms, and parsing, Lecture Notes in Computer Science, 93, Springer, p. 8, ISBN 3540102450, MR 0590047.
 ^ Hopcroft & Ullman (1979), p.88, Lemma 4.1
 ^ Hopcroft & Ullman (1979), p.89, Lemma 4.2
 ^ This is a consequence of the unitproduction elimination theorem in Hopcroft & Ullman (1979), p.91, Theorem 4.4
 ^ Hopcroft & Ullman (1979), p.91, Theorem 4.4

^ Aho, Alfred Vaino; Lam, Monica S.; Sethi, Ravi; Ullman, Jeffrey David (2007). "4.2.7 ContextFree Grammars Versus Regular Expressions". Compilers: Principles, Techniques, & Tools (print) (2nd ed.). Boston, MA USA: Pearson AddisonWesley. pp. 205–206. ISBN 9780321486813.
Every construct that can be described by a regular expression can be described by a [contextfree] grammar, but not viceversa.
 ^ Hopcroft & Ullman (1979), p.131, Theorem 6.1
 ^ Hopcroft & Ullman (1979), pp.131–132, Theorem 6.2
 ^ Hopcroft & Ullman (1979), pp.132–134, Theorem 6.3
 ^ Hopcroft & Ullman (1979), pp.135–136, Theorem 6.5
 ^ Hopcroft & Ullman (1979), pp.134–135, Theorem 6.4
 ^ Hopcroft & Ullman (1979), pp.137–138, Theorem 6.6
 ^ Sipser (1997), Theorem 5.10, p. 181.
 ^ ^{a} ^{b} ^{c} ^{d} Hopcroft & Ullman (1979), p. 281.
 ^ ^{a} ^{b} ^{c} Hazewinkel, Michiel (1994), Encyclopaedia of mathematics: an updated and annotated translation of the Soviet "Mathematical Encyclopaedia", Springer, Vol. IV, p. 56, ISBN 9781556080036.
 ^ Norvell, Theodore. "A Short Introduction to Regular Expressions and ContextFree Grammars" (PDF). p. 4. Retrieved August 24, 2012.
 ^ ^{a} ^{b} Shieber, Stuart (1985), "Evidence against the contextfreeness of natural language" (PDF), Linguistics and Philosophy, 8 (3): 333–343, doi:10.1007/BF00630917.
 ^ ^{a} ^{b} Pullum, Geoffrey K.; Gerald Gazdar (1982), "Natural languages and contextfree languages", Linguistics and Philosophy, 4 (4): 471–504, doi:10.1007/BF00360802.
 ^ Culy, Christopher (1985), "The Complexity of the Vocabulary of Bambara", Linguistics and Philosophy, 8 (3): 345–351, doi:10.1007/BF00630918.
References
 Hopcroft, John E.; Ullman, Jeffrey D. (1979), Introduction to Automata Theory, Languages, and Computation, AddisonWesley. Chapter 4: ContextFree Grammars, pp. 77–106; Chapter 6: Properties of ContextFree Languages, pp. 125–137.
 Sipser, Michael (1997), Introduction to the Theory of Computation, PWS Publishing, ISBN 053494728X. Chapter 2: ContextFree Grammars, pp. 91–122; Section 4.1.2: Decidable problems concerning contextfree languages, pp. 156–159; Section 5.1.1: Reductions via computation histories: pp. 176–183.
 J. Berstel, L. Boasson (1990). Jan van Leeuwen, ed. ContextFree Languages. Handbook of Theoretical Computer Science. B. Elsevier. pp. 59–102.
External links
 Computer programmers may find the stack exchange answer to be useful.
 Noncomputer programmers will find more academic introductory materials to be enlightening.