fllq

Name

fllq -- compute the left quotient of a finite language and a string

Synopsis

fllq fl string

fllq string <fl

Description

fllq computes the left quotient of the finite language fl and string, writing the resulting finite language on the standard output. The left quotient is defined as the language of all strings X such that string catenated with X is a member of fl.

fl must conform to the Grail format for finite languages.

The left quotient of any language L with the empty string yields the language L. The left quotient of the empty language and any string yields the empty language.

Examples

% cat fl
aaabcd
bcbbcd
bcd
bcdaaa
dcbad

% fllq fl bc
bbcd
d
daaa

% fllq fl ""
aaabcd
bcbbcd
bcd
bcdaaa
dcbad

Authors