Homomorphism of equivalent transformations of grammars in parser generation

Бесплатный доступ

When constructing a translator, as a rule, it is necessary to apply the equivalent transformations of grammar of the implemented language, which convert the syntactic specification of the language into a form that allows for automatic or manual implementation of the source language, and solves the problem of constraint satisfaction of the chosen parsing technique. These problems arise both because of the variety of ways of defining the implemented languages, and because of the language ambiguity or nondeterminism of the recognizing automaton. Each transformation performed on translational CF-grammars can be defined as a likelihood ratio (homomorphism), determined on classes of grammars. Such relations preserve the semantic meaning of grammatical structures in equivalent syntax transformations, since the ultimate purpose of translation is to obtain a sequence of actions prescribed by the computing environment. The article presents a brief overview of various types of likelihood ratio over grammars used in constructing translators since the 1970s. A flow chart for LL parsing with use of syntactic graph scheme (SGS) is presented. We have given a formal notion of a route (path) in the SGS and an example of the automatic CFR-grammar transformation of CIAO formal language in SynGT (Syntax Graph Transformations) system of equivalent transformations.

Еще

Equivalent transformations of grammars, likelihood ratio, cover homomorphism, cf-grammar in a regular form (cfr-grammar), syntactic graph scheme (flow-chart), grammar regularization

Короткий адрес: https://sciup.org/148308937

IDR: 148308937   |   DOI: 10.18101/2304-5728-2019-2-44-60

Статья научная