Mention RegExp2NA.
Mon, 17 Aug 1998 16:02:21 +0200
changeset 5327 39a81cd9f942
parent 5326 8f9056ce5dfb
child 5328 ac539483ad09
Mention RegExp2NA.
--- a/src/HOL/Lex/README.html	Mon Aug 17 13:09:40 1998 +0200
+++ b/src/HOL/Lex/README.html	Mon Aug 17 16:02:21 1998 +0200
@@ -7,14 +7,18 @@
 This directory contains the theories for the functional scanner generator
 <A HREF="">
+here</A>. In contrast to the paper, the latest version of the theories
+provides a fully executable scanner generator. The non-executable bits
+(transitive closure) have been eliminated by going from regular expressions
+directly to nondeterministic automata, thus bypassing epsilon-moves.
 <dd>AutoProj, NA, NAe, DA, Automata</dd>
 <dt>Regular expressions and their conversion to automata</dt>
-<dd>RegSet, RegExp, RegExp2NAe</dd>
+<dd>RegSet, RegExp, RegExp2NA, RegExp2NAe</dd>
 <dd>Prefix, MaxPrefix, MaxChop, AutoMaxChop, Scanner</dd>