From 314a9db89f93ca6895595268485fe23a6c85c07a Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 13 Sep 2005 07:33:56 +0000 Subject: Added FA and SRG stuff to HelpFile. Fixed typos in history file. --- doc/gf-history.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/gf-history.html b/doc/gf-history.html index 54f3950e4..ceba9fa30 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -24,7 +24,7 @@ The new options are:
pg -printer=slf_graphviz
The same FA as in SLF, but in Graphviz format.
pg -printer=fa_graphviz
-
An FA with labelled edges, instead of labelled nodes which SLF has.
+
A finite automaton with labelled edges, instead of labelled nodes which SLF has.
pg -printer=regular
A regular grammar in a simple BNF.
-- cgit v1.2.3