flexec

Name

flexec -- execute a machine on an input string

Synopsis

flexec fl string

flexec string <fl

Description

flexec tests string for membership in the finite language fl. If string is a member, flexec returns 1 and writes accepted on its standard error; otherwise it returns 0 and writes not accepted on its standard error.

fl must conform to the Grail format for finite languages. string should probably be protected from the shell by double quotes.

Examples

% cat fl
bc
bcd
aaa

a
fghi

% flexec fl "bc"
accepted

% flexec fl ""
accepted

% flexec fl "bcad"
not accepted

Authors