ARTICLE
TITLE

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

SUMMARY

The architecture and implemented a software system parsing schemes of algebraic algebra and their interpretation. The software systemallows to generate automated in such schemes create a program and debug the relevant schemes. A clear division of algebraic algebra intoseparate modules is defined, each of which will be characterized by its functional load. The methods of parsing for the development andpresentation 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.

 Articles related

O. V. Borovik,R. V. Rachok,M. M. Darmoroz    

Context. In the protection of the state border of Ukraine used the new system of optical-electronic observation (SOEO). However, its potential is not fully realized. One of the reasons for this is the lack of scientific and methodological apparatus of ev... see more


Sohail Iqbal Malik,Ragad Tawafak,Ghaliya Alfarsi,Mohammed Waseem Ashfaque,Roy Mathew    

Most novice programmers consider learning to program as a difficult and challenging field of study for them. As a result, high dropout and failure rates in programming one courses reported. One of the reasons is that most programming (1) courses don’t gi... see more


Amr Abozeid,AbdAllah Adel AlHabshy,Kamal ElDahshan    

Security attacks become daily news due to an exposure of a security threat in a widely used software. Taking software security into consideration during the analysis, design, and implementation phases is a must. A software application should be protected... see more


S.V. Vostokin,I.V. Bobyleva    

The article discusses the constructing of tasks dependencies graphs for many-task applications that perform parallel asynchronous data processing on the principle of round-robin sport tournament. The following components of the technique are described: t... see more


Adi Putra Simamora,Edy Victor Haryanto,Yusfrizal Yusfrizal,Fani Budi Kartika,Noprita Elisabeth Sianturi    

Mengamankan data itu sulit untuk dijaga dari pihak manapun dikarenakan ada pesan rahasia yang terdapat pada file tersebut. Penelitian ini bertujuan untuk mengamankan isi pesan tersebut yang ada pada file pdf. Dalam penelitian ini dirancang sebuah aplikas... see more