fltore


Name

fltore -- convert a finite language to a regular expression

Synopsis

fltore fl

fltore <fl


Description

fltore computes a regular expression that accepts the same language as fl, and writes it on standard output. .lp fl must conform to the Grail format for finite languages.

Empty languages will produce empty sets.

The expression is generated by first creating a catenation of the symbols in each word, and then generating plus expressions of the words. The regular expression is not generated as a trie.


Examples

% cat fl1
abcf
abff
ab

cde

% fltore <fl1
abcf+abff+ab+""+cde


Authors

Roger Robson, Darrell Raymond and Derick Wood, the Grail project

See also

fl(5), re(5), retofl(1)