next up previous contents
Next: Prolog preliminaries Up: Toward a finite state Previous: Toward a finite state

Formal definition

FSA = tex2html_wrap_inline1512, where

tex2html_wrap_inline1602 is the initial node
tex2html_wrap_inline1604 is the set of final nodes
Q is a finite set of nodes
tex2html_wrap_inline1422 is a finite set of terminal symbols
tex2html_wrap_inline1610

Dafydd Gibbon
Fri Nov 28 02:24:58 MET 1997