| commit | de14d8c15f7233e08a83a061f1a6463cb4ea22d6 | |
| author | Joshua Haberman <joshua@reverberate.org> | |
| Wed, 6 Aug 2008 18:58:55 +0000 (6 11:58 -0700) | ||
| committer | Joshua Haberman <joshua@reverberate.org> | |
| Wed, 6 Aug 2008 18:58:55 +0000 (6 11:58 -0700) | ||
| tree | 23b148380ce88e601e49618e5afe79b3db22ad6c | treesnapshot (tar.gz zip) |
| parent | 45d56ebaf720cef362ef909183ab4ec34a925c3b | commitdiff |
Add -k option which allows users to specify maximum LL(k) search depth.
Normally we use a heuristic to guess when a grammar is not LL(k),
but this heuristic can fail in some cases and falsely claim a grammar
is not LL(k) when in fact it is. With the -k option, we will always
generate correct lookahead if indeed the grammar is LL(k) for the
user-specified k.
Normally we use a heuristic to guess when a grammar is not LL(k),
but this heuristic can fail in some cases and falsely claim a grammar
is not LL(k) when in fact it is. With the -k option, we will always
generate correct lookahead if indeed the grammar is LL(k) for the
user-specified k.
| compiler/fa.lua | diffblobblamehistory | |
| compiler/gzlc | diffblobblamehistory | |
| compiler/ll.lua | diffblobblamehistory | |
| tests/test_ll.lua | diffblobblamehistory |