flfilter

Name

flfilter -- filter a finite language with a machine

Synopsis

flfilter fl fm

flfilter fm <fl

Description

flfilter parses fl with fm and returns the language containing only those words in fl which are accepted by fm. The resulting words form a subset of the original finite language.

fl must conform to the Grail format for finite languages. fm must conform to the Grail format for machines. flfilter can operate with both deterministic and non-determinstic machines.

Examples

% cat fm
(START) |- 0
0 a 1
1 a 1
1 b 1
1 c 1
1 d 1
1 d 2
2 -| (FINAL)

% cat fl
ab
adbcad
ad
cbded
addend

% flfilter fl fm
adbcad
ad
addend

Authors