isdeterm

Name

isdeterm -- test machine for `determinism'

Synopsis

isdeterm fm

isdeterm <fm

Description

isdeterm checks if fm is deterministic. isdeterm returns 1 and writes deterministic on standard output if the input fm is deterministic; otherwise, it returns 0 and writes nondeterministic.

A nondeterministic machine can be made deterministic with fmdeterm.

fm must conform to the Grail format for machines.

Examples

% cat nfm1
(START) |- 1
1 a 2
1 a 3
2 b 2
3 b 3
2 c 4
3 c 5
4 d 4
5 d 5
4 -| (FINAL)
5 -| (FINAL)

% isdeterm nfm1
nondeterministic

% fmdeterm nfm1 | isdeterm
deterministic

Authors