fmtofl
Name
fmtofl -- convert a machine to a finite language
Synopsis
fmtofl fm
fmtofl <fm
Description
fmtofl
computes a finite language that accepts the same language
as fm, and writes the result on standard output.
The input need not be deterministic.
fmtofl
returns 0 if the machine cannot be represented as a finite language.
fm must conform to the Grail format for machines.
Examples
% cat fm1
(START) |- 0
0 a 1
1 c 2
2 e 3
3 -| (FINAL)
1 b 2
2 d 3
% fmtofl fm1
abd
abe
acd
ace
% cat fm2
(START) |- 1
1 -| (FINAL)
% fmtofl fm2
Authors
Roger Robson, Darrell Raymond and Derick Wood, the Grail project
See also
fm(5), fl(5), fltofm(1)