2011-03-23 urbanc added paper by Antimirov
2011-03-23 urbanc added the most current versions of the theories.
2011-03-15 urbanc correct version
2011-03-15 urbanc deleted wrong version
2011-03-15 urbanc added chapter about regular expressions by Sakarovitch (interesting pages are 139 - 142)
2011-03-15 urbanc corrected small typo
2011-03-05 urbanc slight polishing of the bibliography
2011-03-05 urbanc formalisation of first direction is now only 780 loc
2011-02-26 urbanc changed one occurence of tagging function into tagging relation
2011-02-25 urbanc added yacc is dead paper
2011-02-24 urbanc added a paper about derivatives
2011-02-24 urbanc added hocroft and ullman book
Loading...
(0) -100 -12 +12 +100 tip