Deadlock algorithm for advanced syntactical analysis and its application to programming languages for quantum computers
( Pp. 42-48)

More about authors
Kishkan Vladimir V. starshiy prepodavatel
East Siberian College of Tourism and Service Safonov Konstantin V. d-r fiz.-mat. nauk, professor; zaveduyuschiy kafedroy
Reshetnev Siberian State University of Science and Technology
When developing promising programming languages designed to support the work of supercomputers, including quantum ones, there is a need for research related to testing the developed language under conditions when parsers do not yet exist for it. In particular, in the process of developing a programming language for a quantum computer, it becomes necessary to parse a certain program written in a new programming language, which, like all programming languages, belongs to the class of context-free languages (cf-languages). The problem of syntactical analysis of the monomials of cf-languages was posed in the 50-60s of the last century, however, there are some discrepancies in its formulation, and therefore there is a need to clarify the formulation of this problem. In this regard, we will call the expanded problem of parsing the problem of developing a stupid (non-stop, irrevocable) algorithm that allows establishing whether a given monomial can be deduced using a system of products that form a cf-language grammar, and also find all the conclusions of this monomial at once if the latter exists. The description of the monomial inference is understood as follows: it is necessary to determine for which products from the grammar of the cf-language, how many times and in what order they are used to derive this monomial, which is equivalent to constructing all the output trees. The article has developed a deadlockless algorithm for solving the extended problem of parsing, based on the method of hierarchy of marked brackets. The marked brackets order shows what products they are assigned to, and allows you to trace the order of its use. The algorithm uses the method of successive approximations to solve the Chomsky-Schützenberger system of equations associated with the cf-language grammar. The developed algorithm has a simple software implementation; an assessment of the complexity of the algorithm is also given.
How to Cite:
Reference list:
Akho A., Ul man Dzh. Teoriya sintaksicheskogo analiza, perevoda i kompilyatsii. T. 1. Sintaksicheskiy analiz. M.: Mir, 1978. 352 s.
Akho A., Lam M., Seti R., Ul man Dzh. Kompilyatory: printsipy, tekhnologii i instrumentariy. M.: Vil yams, 2008.
Ginzburg S. Matematicheskaya teoriya kontekstno-svobodnykh yazykov. M. Mir, 1970. 325 s.
Glushkov V.M., TSeytlin G.E., YUshchenko E.L. Algebra, yazyki, programmirovanie. Kiev: Naukova dumka, 1974. 328 s.
Kormen T., Leyzerson CH., Rivest R., SHtayn K. Algoritmy: postroenie i analiz. 2-e izd. M.: Vil yams, 2006.
Safonov K.V. O vozmozhnosti vychislitel nogo raspoznavaniya kontekstno-svobodnykh yazykov // Vychislitel nye tekhnologii. 2005. T. 10 (4). S. 91-98.
Tyugashev A.A. Osnovy programmirovaniya. CH. I. SPb.: Un-t ITMO. 2016.
KHanter R. Osnovnye kontseptsii kompilyatorov. M.: Vil yams, 2002.
KHomskiy N., SHyuttsenberzhe M.N. Algebraicheskaya teoriya kontekstno-svobodnykh yazykov // Kiberneticheskiy sbornik. Nov. seriya. 1966. Vyp. 3. S. 195-242.
Doh K.-G., Kim H., Schmidt D.A. Abstract LR-Parsing. Berlin; Heidelberg: Springer, 2011. Pr. 90-109.
Kishkan V.V., Safonov K.V., Tsarev R.Yu. Syntactical analysis of context-free languages taking into account the order of application of productions // Journal of Physics: Conference Series. 2019. Vol. 1333. P. 032072.
Salomaa A., Soittola M. Automata-theoretic aspects of formal power series. NY: Springer-Verlag, 1978. 288 p.
Pingali K., Bilardi G. A graphical model for context-free grammar parsing. Heidelberg; Berlin: Springer, 2015.
Scott E., Johnstone A. GLL parsing // Electronic Notes in Theoretical Computer Science. 2009. Vol. 253 (7).
Verbitskaia E., Grigorev S., Avdyukhin D. Relaxed parsing of regular approximations of string-embedded languages. Cham: Springer International Publishing. 2016. Pp. 291-302.
syntactical analysis algorithm, quantum computer.

Related Articles