LL grammar

<h2 id="formal-definition">Formal definition</h2>
<h3>Finite case</h3>
Given a natural number 
 
 
 
 k
 ≥
 0
 
 
 {\displaystyle k\geq 0}
 
,
a <a href="/facts/Context-free_grammar/yu1FFdK4">context-free grammar</a> 
 
 
 
 G
 =
 (
 V
 ,
 Σ
 ,
 R
 ,
 S
 )
 
 
 {\displaystyle G=(V,\Sigma ,R,S)}

is an LL(k) grammar if

<ul><li>for each terminal symbol string 
 
 
 
 w
 ∈
 
 Σ
 
 ∗
 
 
 
 
 {\displaystyle w\in \Sigma ^{*}}
 
 of length up to 
 
 
 
 k
 
 
 {\displaystyle k}
 
 symbols,</li>
<li>for each nonterminal symbol 
 
 
 
 A
 ∈
 V
 
 
 {\displaystyle A\in V}
 
, and</li>
<li>for each terminal symbol string 
 
 
 
 
 w
 
 1
 
 
 ∈
 
 Σ
 
 ∗
 
 
 
 
 {\displaystyle w_{1}\in \Sigma ^{*}}
 
,</li></ul>
there is at most one production rule 
 
 
 
 r
 ∈
 R
 
 
 {\displaystyle r\in R}
 
 such that for some terminal symbol strings 
 
 
 
 
 w
 
 2
 
 
 ,
 
 w
 
 3
 
 
 ∈
 
 Σ
 
 ∗
 
 
 
 
 {\displaystyle w_{2},w_{3}\in \Sigma ^{*}}
 
,

<ul><li>the string 
 
 
 
 
 w
 
 1
 
 
 A
 
 w
 
 3
 
 
 
 
 {\displaystyle w_{1}Aw_{3}}
 
 can be derived from the start symbol 
 
 
 
 S
 
 
 {\displaystyle S}
 
,</li>
<li>
 
 
 
 
 w
 
 2
 
 
 
 
 {\displaystyle w_{2}}
 
 can be derived from 
 
 
 
 A
 
 
 {\displaystyle A}
 
 after first applying rule 
 
 
 
 r
 
 
 {\displaystyle r}
 
, and</li>
<li>the first 
 
 
 
 k
 
 
 {\displaystyle k}
 
 symbols of 
 
 
 
 w
 
 
 {\displaystyle w}
 
 and of 
 
 
 
 
 w
 
 2
 
 
 
 w
 
 3
 
 
 
 
 {\displaystyle w_{2}w_{3}}
 
 agree.<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a></li></ul>
An alternative, but equivalent, formal definition is the following:

G
 =
 (
 V
 ,
 Σ
 ,
 R
 ,
 S
 )
 
 
 {\displaystyle G=(V,\Sigma ,R,S)}
 
 is an LL(k) grammar if, for arbitrary derivations

S
              
              
                
                  ⇒
                  
                    L
                  
                
              
              
                
                  w
                  
                    1
                  
                
                A
                χ
              
              
                ⇒
              
              
                
                  w
                  
                    1
                  
                
                ν
                χ
              
              
                
                  ⇒
                  
                    ∗
                  
                
              
              
                
                  w
                  
                    1
                  
                
                
                  w
                  
                    2
                  
                
                
                  w
                  
                    3
                  
                
              
            
            
              
                S
              
              
                
                  ⇒
                  
                    L
                  
                
              
              
                
                  w
                  
                    1
                  
                
                A
                χ
              
              
                ⇒
              
              
                
                  w
                  
                    1
                  
                
                ω
                χ
              
              
                
                  ⇒
                  
                    ∗
                  
                
              
              
                
                  w
                  
                    1
                  
                
                
                  w
                  
                    2
                  
                  ′
                
                
                  w
                  
                    3
                  
                  ′
                
                ,
              
            
          
        
      
    
    {\displaystyle {\begin{array}{ccccccc}S&\Rightarrow ^{L}&w_{1}A\chi &\Rightarrow &w_{1}\nu \chi &\Rightarrow ^{*}&w_{1}w_{2}w_{3}\\S&\Rightarrow ^{L}&w_{1}A\chi &\Rightarrow &w_{1}\omega \chi &\Rightarrow ^{*}&w_{1}w'_{2}w'_{3},\\\end{array}}}

when the first 
 
 
 
 k
 
 
 {\displaystyle k}
 
 symbols of 
 
 
 
 
 w
 
 2
 
 
 
 w
 
 3
 
 
 
 
 {\displaystyle w_{2}w_{3}}
 
 agree with those of 
 
 
 
 
 w
 
 2
 
 ′
 
 
 w
 
 3
 
 ′
 
 
 
 {\displaystyle w'_{2}w'_{3}}
 
, then 
 
 
 
 ν
 =
 ω
 
 
 {\displaystyle \nu =\omega }
 
.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a><a class="footnote-ref" id="fnref:3" href="#fn:3">3</a>
Informally, when a parser has derived 
 
 
 
 
 w
 
 1
 
 
 A
 
 w
 
 3
 
 
 
 
 {\displaystyle w_{1}Aw_{3}}
 
, with 
 
 
 
 A
 
 
 {\displaystyle A}
 
 its leftmost nonterminal and 
 
 
 
 
 w
 
 1
 
 
 
 
 {\displaystyle w_{1}}
 
 already consumed from the input, then by looking at that 
 
 
 
 
 w
 
 1
 
 
 
 
 {\displaystyle w_{1}}
 
 and peeking at the next 
 
 
 
 k
 
 
 {\displaystyle k}
 
 symbols 
 
 
 
 w
 
 
 {\displaystyle w}
 
 of the current input, the parser can identify with certainty the production rule 
 
 
 
 r
 
 
 {\displaystyle r}
 
 for 
 
 
 
 A
 
 
 {\displaystyle A}
 
.
When rule identification is possible even without considering the past input 
 
 
 
 
 w
 
 1
 
 
 
 
 {\displaystyle w_{1}}
 
, then the grammar is called a strong LL(k) grammar.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a> In the formal definition of a strong LL(k) grammar, the universal quantifier for 
 
 
 
 
 w
 
 1
 
 
 
 
 {\displaystyle w_{1}}
 
 is omitted, and 
 
 
 
 
 w
 
 1
 
 
 
 
 {\displaystyle w_{1}}
 
 is added to the "for some" quantifier for 
 
 
 
 
 w
 
 2
 
 
 ,
 
 w
 
 3
 
 
 
 
 {\displaystyle w_{2},w_{3}}
 
.
For every LL(k) grammar, a structurally equivalent strong LL(k) grammar can be constructed.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a>
The class of LL(k) languages forms a strictly increasing sequence of sets: LL(0) ⊊ LL(1) ⊊ LL(2) ⊊ ….<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> It is decidable whether a given grammar G is LL(k), but it is not decidable whether an arbitrary grammar is LL(k) for some k. It is also decidable if a given LR(k) grammar is also an LL(m) grammar for some m.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a>
Every LL(k) grammar is also an LR(k) grammar. An <a href="/facts/Empty_string/T7udJlmQ">ε</a>-free LL(1) grammar is also an SLR(1) grammar. An LL(1) grammar with symbols that have both empty and non-empty derivations is also an LALR(1) grammar. An LL(1) grammar with symbols that have only the empty derivation may or may not be LALR(1).<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>
LL grammars cannot have rules containing <a href="/facts/Left_recursion/QNtQvgPr">left recursion</a>.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a> Each LL(k) grammar that is ε-free can be transformed into an equivalent LL(k) grammar in <a href="/facts/Greibach_normal_form/5zGXy9Po">Greibach normal form</a> (which by definition does not have rules with left recursion).<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a>

<h3>Regular case</h3>
Let 
 
 
 
 Σ
 
 
 {\displaystyle \Sigma }
 
 be a terminal alphabet. A <a href="/facts/Partition_of_a_set/VeP9g8CA">partition</a> 
 
 
 
 π
 
 
 {\displaystyle \pi }
 
 of 
 
 
 
 
 Σ
 
 ∗
 
 
 
 
 {\displaystyle \Sigma ^{*}}
 
 is called a regular partition if for every 
 
 
 
 R
 ∈
 π
 
 
 {\displaystyle R\in \pi }
 
 the language 
 
 
 
 R
 
 
 {\displaystyle R}
 
 is regular.
Let 
 
 
 
 G
 =
 (
 V
 ,
 Σ
 ,
 R
 ,
 S
 )
 
 
 {\displaystyle G=(V,\Sigma ,R,S)}
 
 be a context free grammar and let 
 
 
 
 π
 =
 {
 
 R
 
 1
 
 
 ,
 …
 ,
 
 R
 
 n
 
 
 }
 
 
 {\displaystyle \pi =\{R_{1},\dotso ,R_{n}\}}
 
 be a regular partition of 
 
 
 
 
 Σ
 
 ∗
 
 
 
 
 {\displaystyle \Sigma ^{*}}
 
. We say that 
 
 
 
 G
 
 
 {\displaystyle G}
 
 is an LL(
 
 
 
 π
 
 
 {\displaystyle \pi }
 
) grammar if, for arbitrary derivations

S
              
              
                
                  ⇒
                  
                    L
                  
                
              
              
                
                  w
                  
                    1
                  
                
                A
                
                  χ
                  
                    1
                  
                
              
              
                ⇒
              
              
                
                  w
                  
                    1
                  
                
                ν
                
                  χ
                  
                    1
                  
                
              
              
                
                  ⇒
                  
                    ∗
                  
                
              
              
                
                  w
                  
                    1
                  
                
                x
              
            
            
              
                S
              
              
                
                  ⇒
                  
                    L
                  
                
              
              
                
                  w
                  
                    2
                  
                
                A
                
                  χ
                  
                    2
                  
                
              
              
                ⇒
              
              
                
                  w
                  
                    2
                  
                
                ω
                
                  χ
                  
                    2
                  
                
              
              
                
                  ⇒
                  
                    ∗
                  
                
              
              
                
                  w
                  
                    2
                  
                
                y
                ,
              
            
          
        
      
    
    {\displaystyle {\begin{array}{ccccccc}S&\Rightarrow ^{L}&w_{1}A\chi _{1}&\Rightarrow &w_{1}\nu \chi _{1}&\Rightarrow ^{*}&w_{1}x\\S&\Rightarrow ^{L}&w_{2}A\chi _{2}&\Rightarrow &w_{2}\omega \chi _{2}&\Rightarrow ^{*}&w_{2}y,\\\end{array}}}

such that 
 
 
 
 x
 ≡
 y
 
 mod
 
 
 π
 
 
 {\displaystyle x\equiv y\mod \pi }
 
 it follows that 
 
 
 
 ν
 =
 ω
 
 
 {\displaystyle \nu =\omega }
 
.<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>
A grammar G is said to be LL-regular (LLR) if there exists a regular partition of 
 
 
 
 
 Σ
 
 ∗
 
 
 
 
 {\displaystyle \Sigma ^{*}}
 
 such that G is LL(
 
 
 
 π
 
 
 {\displaystyle \pi }
 
). A language is LL-regular if it is generated by an LL-regular grammar.
LLR grammars are <a href="/facts/Unambiguous_grammar/elcVDDL4">unambiguous</a> and cannot be left-recursive.
Every LL(k) grammar is LLR. Every LL(k) grammar is deterministic, but there exists a LLR grammar that is not deterministic.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a> Hence the class of LLR grammars is strictly larger than the union of LL(k) for each k.
It is decidable whether, given a regular partition 
 
 
 
 π
 
 
 {\displaystyle \pi }
 
, a given grammar is LL(
 
 
 
 π
 
 
 {\displaystyle \pi }
 
). It is, however, not decidable whether an arbitrary grammar G is LLR. This is due to the fact that deciding whether a grammar G generates a regular language, which would be necessary to find a regular partition for G, can be reduced to the <a href="/facts/Post_correspondence_problem/YjHh66CM">Post correspondence problem</a>.
Every LLR grammar is LR-regular (LRR, the corresponding[clarify] equivalent for LR(k) grammars), but there exists an LR(1) grammar that is not LLR.<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a>
Historically, LLR grammars followed the invention of the LRR grammars. Given a regular partition a <a href="/facts/Moore_machine/rVPV8AGH">Moore machine</a> can be constructed to transduce the parsing from right to left, identifying instances of regular productions. Once that has been done, an LL(1) parser is sufficient to handle the transduced input in linear time. Thus, LLR parsers can handle a class of grammars strictly larger than LL(k) parsers while being equally efficient.
Despite that the theory of LLR does not have any major applications. One possible and very plausible reason is that while there are generative algorithms for LL(k) and LR(k) parsers, the problem of generating an LLR/LRR parser is undecidable unless one has constructed a regular partition upfront. But even the problem of constructing a suitable regular partition given grammar is undecidable.

<h3>Simple deterministic languages</h3>
A context-free grammar is called simple deterministic,<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a> or just simple,<a class="footnote-ref" id="fnref:15" href="#fn:15">15</a> if

<ul><li>it is in <a href="/facts/Greibach_normal_form/5zGXy9Po">Greibach normal form</a> (i.e. each rule has the form 
 
 
 
 Z
 →
 a
 
 Y
 
 1
 
 
 …
 
 Y
 
 n
 
 
 ,
 n
 ≥
 0
 
 
 {\displaystyle Z\rightarrow aY_{1}\ldots Y_{n},n\geq 0}
 
), and</li>
<li>different right hand sides for the same nonterminal 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 always start with different terminals 
 
 
 
 a
 
 
 {\displaystyle a}
 
.</li></ul>
A set of strings is called a simple deterministic, or just simple, language, if it has a simple deterministic grammar.
The class of languages having an ε-free LL(1) grammar in Greibach normal form equals the class of simple deterministic languages.<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a>
This language class includes the regular sets not containing ε.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a> Equivalence is decidable for it, while inclusion is not.<a class="footnote-ref" id="fnref:18" href="#fn:18">18</a>

<h2 id="applications">Applications</h2>
LL grammars, particularly LL(1) grammars, are of great practical interest, as they are easy to parse, either by LL parsers or by recursive descent parsers, and many <a href="/facts/Computer_language/n3L56qdP">computer languages</a>[clarify] are designed to be LL(1) for this reason. Languages based on grammars with a high value of k have traditionally been considered to be difficult to parse, although this is less true now given the availability and widespread use of parser generators supporting LL(k) grammars for arbitrary k.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Comparison_of_parser_generators/ECnFQrmV">Comparison of parser generators</a> for a list of LL(k) and LL(*) parsers</li></ul>
<h2 id="notes">Notes</h2>

<h2 id="sources">Sources</h2>

<ul><li>Beatty, J. C. (1982). <a href="https://cs.uwaterloo.ca/research/tr/1979/CS-79-36.pdf">"On the relationship between LL(1) and LR(1) grammars"</a> (PDF). Journal of the ACM. 29 (4 (Oct)): 1007–1022. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1145%2F322344.322350">10.1145/322344.322350</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:14700480">14700480</a>.</li>
<li>Hopcroft, John E.; Ullman, Jeffrey D. (1979). <a href="https://archive.org/details/introductiontoau00hopc">Introduction to Automata Theory, Languages, and Computation</a>. Addison-Wesley. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-201-02988-8.</li>
<li>Kernighan, Brian W.; Ritchie, Dennis M. (April 1988). <a href="https://archive.org/details/cprogramminglang00bria">The C Programming Language</a>. Prentice Hall Software Series (2nd ed.). Englewood Cliffs/NJ: Prentice Hall. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-013110362-7.</li>
<li>Korenjak, A.J.; Hopcroft, J.E. (1966). "Simple deterministic languages". IEEE Conf. Rec. 7th Ann. Symp. on Switching and Automata Theory (SWAT). IEEE Pub. No. Vol. 16-C-40. pp. 36–46. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1109%2FSWAT.1966.22">10.1109/SWAT.1966.22</a>.</li>
<li>Parr, T.; Fisher, K. (2011). <a href="http://www.antlr.org/papers/LL-star-PLDI11.pdf">"LL(*): The Foundation of the ANTLR Parser Generator"</a> (PDF). ACM SIGPLAN Notices. 46 (6): 425–436. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1145%2F1993316.1993548">10.1145/1993316.1993548</a>.</li>
<li>Rosenkrantz, D. J.; Stearns, R. E. (1970). <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8">"Properties of Deterministic Top Down Grammars"</a>. Information and Control. 17 (3): 226–256. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8">10.1016/s0019-9958(70)90446-8</a>.</li>
<li>Waite, William M.; Goos, Gerhard (1984). Compiler Construction. Texts and Monographs in Computer Science. Heidelberg: Springer. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-90821-0.</li></ul>

<h2 id="further-reading">Further reading</h2>
<ul><li>Sippu, Seppo; Soisalon-Soininen, Eljas (1990). Parsing Theory: LR(k) and LL(k) Parsing. Springer Science & Business Media. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-51732-0.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Rosenkrantz & Stearns (1970, p. 227). Def.1. The authors do not consider the case k=0. - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">where "
 
 
 
 
 ⇒
 
 L
 
 
 
 
 {\displaystyle \Rightarrow ^{L}}
 
" denotes derivability by leftmost derivations, and 
 
 
 
 
 w
 
 1
 
 
 ,
 
 w
 
 2
 
 
 ,
 
 w
 
 3
 
 
 ,
 
 w
 
 2
 
 ′
 
 ,
 
 w
 
 3
 
 ′
 
 ∈
 
 Σ
 
 ∗
 
 
 
 
 {\displaystyle w_{1},w_{2},w_{3},w'_{2},w'_{3}\in \Sigma ^{*}}
 
, 
 
 
 
 A
 ∈
 V
 
 
 {\displaystyle A\in V}
 
, and 
 
 
 
 χ
 ,
 ν
 ,
 ω
 ∈
 (
 Σ
 ∪
 V
 
 )
 
 ∗
 
 
 
 
 {\displaystyle \chi ,\nu ,\omega \in (\Sigma \cup V)^{*}}
 <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Waite & Goos (1984, p. 123) Def. 5.22 - Waite, William M.; Goos, Gerhard (1984). Compiler Construction. Texts and Monographs in Computer Science. Heidelberg: Springer. ISBN 978-3-540-90821-0. <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Rosenkrantz & Stearns (1970, p. 235) Def.2 - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Rosenkrantz & Stearns (1970, p. 235) Theorem 2 - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Rosenkrantz & Stearns (1970, p. 246–247): Using "
 
 
 
 +
 
 
 {\displaystyle +}
 
" to denote "or", the string set 
 
 
 
 {
 
 a
 
 n
 
 
 (
 
 b
 
 k
 
 
 d
 +
 b
 +
 c
 c
 
 )
 
 n
 
 
 :
 n
 ≥
 1
 }
 
 
 {\displaystyle \{a^{n}(b^{k}d+b+cc)^{n}:n\geq 1\}}
 
 has an 
 
 
 
 L
 L
 (
 k
 +
 1
 )
 
 
 {\displaystyle LL(k+1)}
 
, but no ε-free 
 
 
 
 L
 L
 (
 k
 )
 
 
 {\displaystyle LL(k)}
 
 grammar, for each 
 
 
 
 k
 ≥
 1
 
 
 {\displaystyle k\geq 1}
 
. - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Rosenkrantz & Stearns (1970, pp. 254–255) - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Beatty (1982) - Beatty, J. C. (1982). "On the relationship between LL(1) and LR(1) grammars" (PDF). Journal of the ACM. 29 (4 (Oct)): 1007–1022. doi:10.1145/322344.322350. S2CID 14700480. <a href="https://cs.uwaterloo.ca/research/tr/1979/CS-79-36.pdf" target="_blank">https://cs.uwaterloo.ca/research/tr/1979/CS-79-36.pdf</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Rosenkrantz & Stearns (1970, pp. 241) Lemma 5 - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Rosenkrantz & Stearns (1970, p. 242) Theorem 4 - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Poplawski, David (1977). "Properties of LL-Regular Languages". Purdue University. {{cite journal}}: Cite journal requires |journal= (help) <a href="/wiki/Template:Cite_journal" target="_blank">/wiki/Template:Cite_journal</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">David A. Poplawski (Aug 1977). Properties of LL-Regular Languages (Technical Report). Purdue University, Department of Computer Science. <a href="https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1176&context=cstech" target="_blank">https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1176&context=cstech</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">David A. Poplawski (Aug 1977). Properties of LL-Regular Languages (Technical Report). Purdue University, Department of Computer Science. <a href="https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1176&context=cstech" target="_blank">https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1176&context=cstech</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Korenjak & Hopcroft (1966) - Korenjak, A.J.; Hopcroft, J.E. (1966). "Simple deterministic languages". IEEE Conf. Rec. 7th Ann. Symp. on Switching and Automata Theory (SWAT). IEEE Pub. No. Vol. 16-C-40. pp. 36–46. doi:10.1109/SWAT.1966.22. <a href="https://doi.org/10.1109%2FSWAT.1966.22" target="_blank">https://doi.org/10.1109%2FSWAT.1966.22</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Hopcroft & Ullman (1979, p. 229) Exercise 9.3 - Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. ISBN 978-0-201-02988-8. <a href="https://archive.org/details/introductiontoau00hopc" target="_blank">https://archive.org/details/introductiontoau00hopc</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Rosenkrantz & Stearns (1970, p. 243) - Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. <a href="https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8" target="_blank">https://doi.org/10.1016%2Fs0019-9958%2870%2990446-8</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">Hopcroft & Ullman (1979, p. 229) Exercise 9.3 - Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. ISBN 978-0-201-02988-8. <a href="https://archive.org/details/introductiontoau00hopc" target="_blank">https://archive.org/details/introductiontoau00hopc</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Korenjak & Hopcroft (1966) - Korenjak, A.J.; Hopcroft, J.E. (1966). "Simple deterministic languages". IEEE Conf. Rec. 7th Ann. Symp. on Switching and Automata Theory (SWAT). IEEE Pub. No. Vol. 16-C-40. pp. 36–46. doi:10.1109/SWAT.1966.22. <a href="https://doi.org/10.1109%2FSWAT.1966.22" target="_blank">https://doi.org/10.1109%2FSWAT.1966.22</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
</ol>

LL grammar open-in-new

LL grammar