Inference of regular grammars via skeletons

A constructive method for the inference of regular grammars from positive sample strings of language using skeletal structure descriptions, is proposed, and polynomial-time algorithms based on the method are presented. The algorithms infer in the limit a class of regular languages, designated as terminal distinguishable regular languages. They do not overgeneralize if the samples are from a certain class of context-free languages capturing one of these basic results in formal language theory. The algorithms are adaptable for online inference. A measure of goodness for constructive methods for the problem of grammatical inference is introduced. Several examples are given to show the working and behavior of the algorithms.

[1]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[2]  King-Sun Fu,et al.  Syntactic Pattern Recognition And Applications , 1968 .

[3]  Jerome A. Feldman,et al.  On the Synthesis of Finite-State Machines from Samples of Their Behavior , 1972, IEEE Transactions on Computers.

[4]  Stefano Crespi-Reghizzi,et al.  The use of grammatical inference for designing programming languages , 1973, Commun. ACM.

[5]  Taylor L. Booth,et al.  Grammatical Inference: Introduction and Survey-Part I , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[6]  Giovanni Guida,et al.  Noncounting Context-Free Languages , 1978, JACM.

[7]  Aravind K. Joshi,et al.  Skeletal Structural Descriptions , 1978, Inf. Control..

[8]  John W. Carr,et al.  A Solution of the Syntactical Induction-Inference Problem for Regular Languages , 1978, Comput. Lang..

[9]  Dana Angluin,et al.  Inductive Inference of Formal Languages from Positive Data , 1980, Inf. Control..

[10]  Dana Angluin,et al.  Finding Patterns Common to a Set of Strings , 1980, J. Comput. Syst. Sci..

[11]  Laurent Miclet.  Regular Inference with a Tail-Clustering Method , 1980, IEEE Transactions on Systems, Man, and Cybernetics.

[12]  Michael G. Thomason,et al.  Syntactic Pattern Recognition, An Introduction , 1978, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[13]  Stephen Y. Itoga.  A New Heuristic for Inferring Regular Grammars , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[14]  Dana Angluin,et al.  Inference of Reversible Languages , 1982, JACM.

[15]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[16]  G. Nagaraja,et al.  Inference of even linear grammars and its application to picture description languages , 1988, Pattern Recognit..