X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=TODO;h=c7ad150a242c07c529b5ec58bbbccdae6117e708;hp=fd55d0bac1fccf1994c5540ab188f4b6e2caa203;hb=ebb5fe5647046306f415e31e4967b23169c9004e;hpb=08aa6cdd07a882fdedf7a6d5c7bd0d754460965b

diff --git a/TODO b/TODO
index fd55d0b..c7ad150 100644
--- a/TODO
+++ b/TODO
@@ -131,3 +131,17 @@ Neat Ideas
 
   - Rekers & Koorn note that GLR Substring Parsing can be used to do
     really elegant and generalized "autocompletion".
+
+
+______________________________________________________________________________
+Ideas for the Future
+
+- Incremental parse table construction
+- "lazy GLR" and "lazy trees" -> language with first-class CF matching
+    - perhaps linear boolean grammars instead? (linear time, quad space)
+- Forest parsing => chained parsers
+- unification parsing, attributes, etc
+- RRP grammars?
+- Take another stab at maximal-match?  Nonterminal not-followed-by is
+  too strong.
+- Error recovery based on substring parsing