Застосування системи алгоритмічних алгебр для граматичного аналізу символьних обчислень виразів логіки висловлювань

Abstract

UK: Розроблено архітектуру та реалізовано програмну систему граматичного аналізу схем системи алгебраїчних алгебр та їх інтерпретації. Програмна система дає змогу автоматизовано генерувати програми за такими створеними схемами та їх відлагоджувати у відповідних схемах. Визначено чіткий розподіл системи алгебраїчних алгебр на окремі модулі, кожен з яких характеризуватиметься своїм функціональним навантаженням. Використано методи синтаксичного аналізу для розроблення та подання граматики таких схем. Реалізовано автоматичне їх перетворення в спискову форму. Розроблено машини системи алгебраїчних алгебр як абстрактний механізм інтерпретації граматики засобами синтаксичного аналізу. Словник V складається з скінченої не порожньої множини лексичних одиниць. Вираз над V є ланцюжком скінченої довжини лексичних одиниць із V. Порожній ланцюжок, який не містить лексичних одиниць, позначимо через . Множина всіх лексичних одиниць над V позначимо V´. Мова над V є підмножиною V´. Мову задають через множину всіх лексичних одиниць мови або через означення критерію, якому повинні задовольняти лексичні одиниці, щоб належати мові. Ще є один важливий спосіб задати мову – через використання породжувальної граматики. Граматика складається з множини лексичних одиниць різного типу та множини правил або продукцій побудови виразу. Граматика має словник V, який є множиною лексичних одиниць для побудови виразів мови. Деякі лексичні одиниці словника (термінальні) не можуть замінятися іншими лексичними одиницями. Текст реалізує структурно подану діяльність, що передбачає суб’єкт і об’єкт, процес, мету, засоби і результат, які відображаються в змістовно-структурних, функціональних, комунікативних показниках. Одиницями внутрішньої організації структури тексту є алфавіт, лексика (парадигматика), граматика (синтагматика), парадигми, парадигматичні відношення, синтагматичні відношення, правила ідентифікації, висловлювання, між фразова єдність та фрагменти-блоки. На композиційному рівні виділяють речення, абзаци, параграфи, розділи, глави, підглави, сторінки тощо, які, крім речення, побічно пов’язані з внутрішньою структурою, тому не розглядаються. За допомогою бази даних (бази термінів/морфем і службових частин мови) та визначених правил аналізу тексту виконують пошук терміну. Синтаксичні аналізатори працюють в два етапи: ідентифікують змістовні лексеми та створюють дерево розбору. EN: 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.