
Accession Number : AD0670575
Title : PROBLEMSOLVING PROCEDURES FOR EFFICIENT SYNTACTIC ANALYSIS,
Corporate Author : RCA LABS PRINCETON N J
Personal Author(s) : Amarel,Saul
Report Date : MAY 1968
Pagination or Media Count : 78
Abstract : The main purpose of this report is to present a logical framework in which the syntactic analysis problem can be represented. This framework originates from previous work on problemsolving procedures for theorem proving. Procedures for syntactic analysis are represented as reduction procedures where a problem undergoes a sequence of nested transformations that result in a set of simpler subordinate problems whose solution implies the solution of the original problem. The representation of the syntactic analysis problem provides a unifying basis for expressing a variety of syntactic analysis procedures, both existing ones as well as new, proposed, procedures. Such a common basis contributes to a better understanding and systemization of the programming of syntaxdirected compilers and of other translators whose source language is a contextfree fragment of natural language, e.g., some 'questionanswering' systems. A useful concept of computational effort is defined, and it is used as a guide for the formulation of new efficient procedures. Heuristic procedures for syntactic analysis are suggested. Some features of these procedures are relevant to the design of advanced syntaxdirected translators. (Author)
Descriptors : (*SYNTAX, *COMPUTATIONAL LINGUISTICS), PROBLEM SOLVING, TRANSFORMATIONAL GRAMMARS, CONTEXT FREE GRAMMARS, COMPUTER PROGRAMMING, THEOREMS, MACHINE TRANSLATION, ARTIFICIAL INTELLIGENCE, ENGLISH LANGUAGE
Subject Categories : Linguistics
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE