Skip to content

Commit 821fe75

Browse files
committed
Updated the statement about PEGs with one that is more accurate.
1 parent 6db1aa8 commit 821fe75

File tree

3 files changed

+5
-4
lines changed

3 files changed

+5
-4
lines changed

dark.pdf

-303 Bytes
Binary file not shown.

light.pdf

-318 Bytes
Binary file not shown.

main.tex

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -538,10 +538,11 @@ \section{This is a level one heading}
538538
* The language is specified using a Parsing Expression Grammar
539539
(PEG) via the LPeg C library (with some cheating).
540540
* PEGs are CFGs with ordered choice; as a corrolary, any PEG is
541-
unambiguous. [@ford04] The parse tree for any PEG $G$ and an input word
542-
$u$ can be computed in linear time relative to $|u|$ via „packrat
543-
parsing“. [@ford02] PEGs${}\subset{}$CFGs is conjectured.
544-
* The dependencies of Lunamark were all either compiled into Lua\TeX{}
541+
unambiguous. [@ford04] An input word $u$ can be parsed according to a PEG
542+
$G$ in linear time relative to the size of $u$. [@ford02] It is
543+
conjectured that not all CFLs are recognized by a PEG.
544+
* The dependencies of Lunamark were all either
545+
compiled into Lua\TeX{}
545546
(LPeg, Slnunicode), or unneeded (Cosmo, Alt-getopt).
546547
* The library has been released under the Expat (MIT) License.
547548

0 commit comments

Comments
 (0)