Infopaket

Theory of formal grammars

ННД 11.05

Обов’язкова дисципліна для ОП

First

2023/2024

5 Semester

2

PLO 3. To organize the process of one's education and self-education. PLO 22. To know the basic mathematical conceptual apparatus and mathematical methods of the fundamental sections of mathematics and use them in specialized tasks of computer linguistics. PLO 24. To know and apply in practice the fundamental concepts, paradigms, and basic principles of the functioning of linguistic, instrumental, and computing tools of software engineering. PLO 29. To know and apply methods of developing algorithms, designing software, and structures of data and knowledge.

Full-time form

Before starting this course, students must master the following courses: discrete mathematics, mathematical logic, and fundamentals of programming; to know the theoretical foundations of automata theory and set theory. To be able to master the techniques of working with regular expressions, and elementary skills of mathematical and computer modeling of linguistic phenomena.

The goal of the discipline is to master the theory of formal grammar and gain experience in analyzing the types of grammar used to determine the syntactic structure of both formal and natural languages. Mastering algorithms for the analysis of a number of types of grammar provides the student with a new direction in conducting both theoretical and practical research into the structures of formal and informal languages.

Eric C.R. Hehner. a Practical Theory of Programming. - Springer-Verlag Publishers, New York, 2021. – 243 р. M. Balaban. Principles of Programming Languages. - Ben-Gurion University of the Negev Faculty of Natural Science Department of Computer Science, 2017. – 418 р. Semantics - Advances in Theories and Mathematical Models. - IN-TECH, 2012. – 284 р. J. V. Tucker, K. Stephenson. Data, Syntax and Semantics: An Introduction to Modelling Programming Languages. - University of Wales Swansea, 2006. – 840 p.

Lectures, seminar classes, and independent work.

The semester number of points is formed by the points received by the student in the process of learning the material from the entire educational course. The overall score for the semester consists of points received for classroom work (which synthesizes and independent work on processing theoretical material for classroom preparation: ongoing assessment, control work in the form of test tasks, presentation defense) and for independent work (preparation of a presentation, performance of a laboratory works).

Ukrainian