flrq

Name

flrq -- compute the right quotient of a finite language and a string

Synopsis

flrq fl string

flrq string <fl

Description

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

fl must conform to the Grail format for finite languages.

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

Examples

% cat fl
aaabcd
bbbbcd
bcd
bcdaaa
dcbad

% flrq fl cd
aaab
bbbb
b

% flrq fl ""
aaabcd
bbbbcd
bcd
bcdaaa
dcbad

Authors