Формальні мови та автомати

Скорочена інформація про документ
dc.contributor.authorСпекторський, Ігор Якович
dc.contributor.authorСтаткевич, Віталій Михайлович
dc.date.accessioned2026-06-24T09:44:51Z
dc.date.available2026-06-24T09:44:51Z
dc.date.issued2019
dc.description.abstractПідручник з формальних мов та автоматів містить основні теоретичні відомості з традиційних для даної дисципліни розділів: формальні мови та граматики, машина Тьюрінга, скінченні автомати та автомати з магазинною пам'яттю, лінійно-обмежені машини Тьюрінга. Практично всі теореми та леми повністю доведені; виняток становлять декілька простих тверджень, доведення яких запропоновано як вправи, а також декілька тверджень, повне доведення яких, на думку авторів, суттєво виходить за межі цього підручника. Теоретичний матеріал ілюстровано численними прикладами. Для самостійного виконання надано багато вправ, до яких за потреби надано вказівки. Підручник орієнтовано для студентів ІПСА КПІ ім. Ігоря Сікорського, які навчаються за спеціальністю 124 «Системний аналіз». Підручник також може бути корисним для студентів математичних факультетів вищих навчальних закладів, зокрема, для студентів ІПСА КПІ ім. Ігоря Сікорського, які навчаються за спеціальністю 122 «Комп'ютерні науки».
dc.description.abstractotherThe formal language and automata textbook contains the essentials on the traditional sections such as formal languages and grammars, Turing machines, finite automata (finite-state machine) and pushdown automata, linear-bounded automata. Almost all theorems and lemmas are proved with two exceptions. We don’t prove a few simple propositions that are given as exercises. Also we don’t give a few proposition proofs that are far beyond the scope of the textbook in the authors’ opinion. Various examples illustrate theoretical constructions. We give a lot of exercises and hints if necessary. The textbook is recommended to the students of the specialty 124 “System Analysis”of the Institute for Applied Systems Analysis of the National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic institute”. The textbook can also be useful to the students of mathematical departments in universities, in particularly to the students of the specialty 122 “Computer Science” of the Institute for Applied Systems Analysis of the National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic institute”.
dc.format.extent167 с.
dc.identifier.citationСпекторський, І. Я. Формальні мови та автомати : підруч. для студ. спец. 124 «Системний аналіз» / І. Я. Спекторський, В. М. Статкевич ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 954 Кбайт). – Київ : КПІ ім. Ігоря Сікорського, 2019. – 167 с. – Назва з екрана.
dc.identifier.isbn978-966-622-967-3
dc.identifier.orcid0000-0003-4863-7986
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/81902
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.subjectформальна мова
dc.subjectавтомат
dc.subjectскінченний автомат
dc.subjectмагазинний автомат
dc.subjectрегярна граматика
dc.subjectконтекстно-вільна граматика
dc.subject.udc510.5/.6(075.8
dc.titleФормальні мови та автомати
dc.typeBook

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
method_grammar_automata.pdf
Розмір:
954.38 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.98 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Навчально-методичні матеріали (ММСА)