The Use of Grammatical Inference for Designing Programming Languages Both in designing a new programming language and in extending an existing language, the designer is faced with the problem of deriving a "natural" grammar for the language. We are proposing an interactive approach to the grammar design problem wherein the designer presents a sample of sentences and structures as input to a grammatical inference algorithm. The algorithm then constructs a grammar which is a reasonable generalization of the examples submitted by the designer. The implementation is presently restricted to a subclass of operator precedence grammars, but a second algorithm is outlined which applies to a larger class of context-free grammars. CACM February, 1973 Crespi-Reghizzi, S. Melkanoff, M. A. Lichten, L. grammar design, language definition, inference, identification in the limit, extensible languages 3.61 4.2 5.23 CA730202 JB January 24, 1978 3:20 PM 1046 4 2546 1086 4 2546 1105 4 2546 1132 4 2546 1139 4 2546 1140 4 2546 1234 4 2546 1234 4 2546 1263 4 2546 1263 4 2546 1265 4 2546 1265 4 2546 1270 4 2546 1323 4 2546 1358 4 2546 1379 4 2546 1379 4 2546 1380 4 2546 1453 4 2546 1464 4 2546 1484 4 2546 1491 4 2546 1496 4 2546 1498 4 2546 1542 4 2546 1613 4 2546 1614 4 2546 1683 4 2546 1693 4 2546 1693 4 2546 1781 4 2546 1781 4 2546 1781 4 2546 1781 4 2546 1787 4 2546 1824 4 2546 1825 4 2546 1836 4 2546 1836 4 2546 1860 4 2546 1945 4 2546 1945 4 2546 2015 4 2546 2060 4 2546 2060 4 2546 2061 4 2546 2061 4 2546 2083 4 2546 2082 4 2546 2091 4 2546 2091 4 2546 2126 4 2546 2152 4 2546 2178 4 2546 2179 4 2546 2179 4 2546 2179 4 2546 2252 4 2546 2317 4 2546 2325 4 2546 2341 4 2546 2340 4 2546 2356 4 2546 2546 4 2546 2546 4 2546 2546 4 2546 2546 4 2546 2546 4 2546 464 4 2546 2603 4 2546 2645 4 2546 2652 4 2546 2684 4 2546 2698 4 2546 2698 4 2546 2708 4 2546 2708 4 2546 2824 4 2546 2842 4 2546 2929 4 2546 2934 4 2546 2982 4 2546 2986 4 2546 584 4 2546 3045 4 2546 3045 4 2546 3069 4 2546 3093 4 2546 631 4 2546 653 4 2546 669 4 2546 679 4 2546 680 4 2546 691 4 2546 761 4 2546 763 4 2546 795 4 2546 799 4 2546 945 4 2546 949 4 2546 989 4 2546 1477 5 2546 1491 5 2546 2126 5 2546 2546 5 2546 2546 5 2546 2546 5 2546 404 5 2546 3184 5 2546