APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC

V. V. Lytvyn, I. O. Bobyk, V. A. Vysotska

Abstract


The architecture and implemented a software system parsing schemes of algebraic algebra and their interpretation. The software system
allows to generate automated in such schemes create a program and debug the relevant schemes. A clear division of algebraic algebra into
separate modules is defined, each of which will be characterized by its functional load. The methods of parsing for the development and
presentation of grammar such schemes are used. Automatic transforming it in a list form is implemented. A machine system of algebraic algebra as an abstract interpretation of the mechanism of grammar parser is defined. The vocabulary V consists of finite not empty set of lexical units. The expression on V is a finite-length string of lexical units with V. An empty string does not contain lexical items and is denoted by Λ. The set of all lexical units over V is denoted as V ′. The language over V is a subset V ′. The language displayed through the set of all lexical units of language or through definition criteria, which should satisfy lexical items that belong to the language. Another is one important method to set the language through the use of generative grammar. The grammar consists of a lexical units set of various types and the rules or productions set of expression constructing. Grammar has a vocabulary V, which is the set of lexical units for language expressions building. Some of lexical units of vocabulary (terminal) can not be replaced by other lexical units. The text realizes structural submitted activities through provides subject, object, process, purpose, means and results that appear in content, structural, functional and communicative criteria and parameters.
The units of internal organization of the text structure are alphabet, vocabulary (paradigmatics), grammar (syntagmatic) paradigm, paradigmatic relations, syntagmatic relation, identification rules, expressions, unity between phrasal, fragments and blocks. On the compositional level are isolated sentences, paragraphs, sections, chapters, under the chapter, page etc. that (except the sentence) indirectly related to the internal structure because are not considered. With the help of a database (database for terms/morphemes and structural parts of speech) and defined rules of text analysis searching terms. Parsers operate in two stages: lexemes content identifying and a parsing tree creates.

Keywords


text, a Ukrainian, algorithm, content monitoring, keywords, linguistic analysis, parsing, generative grammar, structured scheme sentences, information linguistic system.

References


Глушков В. Методы символьной мультиобработки / В. Глушков, Г. Цейтлин, Е. Ющенко. – К. : Наук. думка, 1980. – 252 с. 2. Глушков В. Алгебра. Языки. Программирование / В. Глушков, Г. Цейтлин, Е. Ющенко. – К. : Наук. думка, 1989. – 376 с. 3. Цейтлин Г. Введение в алгоритмику / Г. Цейтлин. – К. : Фара, 1999. – 310 с. 4. Цейтлин Г. Алгебры Глушкова и теория клонов / Г. Цейтлин // Кибернетика и системный анализ. – 2003. – № 4. – С. 48–58. 5. Цейтлин Г. Структурное программирование задач символьной мультиобработки / Г. Цейтлин // Кибернетика. – 1983. – № 5. – С. 22–30. 6. Цейтлин Г. Распараллеливание алгоритмов сортировки / Г. Цейтлин // Кибернетика. – 1989. – № 6. – С. 67–74. 7. Цейтлин Г. Проектирование последовательных алгоритмов сортировки / Г. Цейтлин // Программирование. – 1989. – № 3. – С. 3–21. 8. Многоуровневое структурное проектирование программ: Теоретические основы, инструментарий / [Е. Ющенко, Г. Цейтлин, В. Грицай, Т. Терзян]. – М. : Финансы и статисти- ка, 1989. – 208 с. 9. Калужнин Л. Об алгоритмизации математических задач / Л. Калужнин // Пробл. кибернетики. – 1959. – Вып. 2. – С. 51–69. 10. Мартинюк Т. Методи та засоби паралельних перетворень векторних масивів даних / Т. Мартинюк, B. Хом’юк. – В. : УНІВЕРСУМ-Вінниця, 2005. – 203 с. 11. Дорошенко А. О методе проектирования абстрактного типа данных в алгебре алгоритмики / А. Дорошенко, О. Иовчев // Проблеми програмування. – 2012. – № 1. – С. 3–16. 12. Акуловский В. Некоторые аспекты формализации архитектурного этапа разработки алгоритмов / В. Акуловский // Проблеми програмування. – 2009. – № 2. – С. 3–11. 13. Алгеброалгоритмические модели и методы параллельного программирования / [Ф. Андон, А. Дорошенко, Г. Цейтлин, Е. Яценко]. – К. : Академпериодика, 2007. – 634 с. 14. Иовчев В. Инструментальные средства алгебры алгоритмики на платформе WEB 2.0 / В. А. Иовчев, А. С. Мохница // Проблеми програмування. – 2010. – № 2–3. – С. 547–556.


GOST Style Citations






DOI: http://dx.doi.org/10.15588/1607-3274-2016-4-10



Copyright (c) 2017 V. V. Lytvyn, I. O. Bobyk, V. A. Vysotska

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Address of the journal editorial office:
Editorial office of the journal «Radio Electronics, Computer Science, Control»,
Zaporizhzhya National Technical University, 
Zhukovskiy street, 64, Zaporizhzhya, 69063, Ukraine. 
Telephone: +38-061-769-82-96 – the Editing and Publishing Department.
E-mail: rvv@zntu.edu.ua

The reference to the journal is obligatory in the cases of complete or partial use of its materials.