fmreach

Name

fmreach -- compute the reachable subset of a machine

Synopsis

fmreach fm

fmreach <fm

Description

fmreach finds all reachable states of fm and writes on its standard output only instructions involving those states.

fm must conform to the Grail format for machines.

Examples

% cat dfm4
(START) |- 0
0 a 1
0 g 0
0 b 4
1 c 2
2 d 3
3 -| (FINAL)
4 e 5
5 f 6
6 -| (FINAL)

% fmreach <dfm4
(START) |- 0
0 a 1
0 b 4
0 g 0
1 c 2
2 d 3
4 e 5
5 f 6
3 -| (FINAL)
6 -| (FINAL)

% cat dfm6
(START) |- 3
3 a 4
4 b 5
5 -| (FINAL)
1 a 2
2 b 6
6 -| (FINAL)

% fmreach dfm6
(START) |- 3
3 a 4 
4 b 5 
5 -| (FINAL)

Authors