The relation of two patterns with comparable languages
- 125 Downloads
A pattern is a string consisting of terminals and variables. The language defined by a pattern is the set of terminal strings obtained by substituting (consistently) terminal strings to its variables. A pattern simulates another pattern when its language contains that of the other one.
If q simulates p, one may think that there must be a substitution that applied to q produces p itself. This hypothesis is considered under different assumptions. It results that it is true only for very restricted patterns (with variables only) and only when erasing substitutions are considered. The relation between two patterns is studied also in the case that the languages they produce are equal.
KeywordsRestricted Pattern Pattern Language Large Alphabet String Consisti Terminal String
Unable to display preview. Download preview PDF.
- [Ang]D.Angulin; Finding patterns common to a set of strings. Proc. of the 11-th ACM Symp. on the Theory of Computing, Atlanta, 1979.Google Scholar
- [Cod]Ch.Codognet; Personal communication, 1986.Google Scholar
- [Shi]T.Shinohara; Polynomial time inference of pattern languages and its application. Proc. of the 7-th IBM Symp. on Math.Found. of Comp. Sci., 1982.Google Scholar