fmstats

Name

fmstats -- output some statistics about a machine

Synopsis

fmstats fm

fmstats <fm

Description

fmstats produces the following statistics about a machine:

1. number of states 2. number of start states 3. number of final states 4. number of reachable states 5. number of instructions fmstats does not count pseudo-instructions or pseudo-states.

fm must conform to the Grail format for machines.

Examples

% cat dfm5
(START) |- 0
0 a 1
1 c 2
2 e 3
3 -| (FINAL)
1 b 0
2 d 0

% fmstats dfm5
1 1 4 4 5

Authors