flappend

Name

flappend -- append a string to a finite language

Synopsis

flappend fl string

flappend string <fl

Description

flappend appends string to every word in the finite language fl, and writes the resulting finite language on the standard output. fl must conform to the Grail format for finite languages.

Appending a string to the empty language yields the empty language. Appending the empty string to a language L yields L. Appending a string S to the empty string yields S.

Examples

% cat fl
abc
bcd

dc

% flappend fl xyz
abcxyz
bcdxyz
xyz
dcxyz

% flappend fl ""
abc
bcd

dc

Authors