Спекторський, Ігор ЯковичСтаткевич, Віталій Михайлович2026-06-242026-06-242019Спекторський, І. Я. Формальні мови та автомати : підруч. для студ. спец. 124 «Системний аналіз» / І. Я. Спекторський, В. М. Статкевич ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 954 Кбайт). – Київ : КПІ ім. Ігоря Сікорського, 2019. – 167 с. – Назва з екрана.978-966-622-967-3https://ela.kpi.ua/handle/123456789/81902Підручник з формальних мов та автоматів містить основні теоретичні відомості з традиційних для даної дисципліни розділів: формальні мови та граматики, машина Тьюрінга, скінченні автомати та автомати з магазинною пам'яттю, лінійно-обмежені машини Тьюрінга. Практично всі теореми та леми повністю доведені; виняток становлять декілька простих тверджень, доведення яких запропоновано як вправи, а також декілька тверджень, повне доведення яких, на думку авторів, суттєво виходить за межі цього підручника. Теоретичний матеріал ілюстровано численними прикладами. Для самостійного виконання надано багато вправ, до яких за потреби надано вказівки. Підручник орієнтовано для студентів ІПСА КПІ ім. Ігоря Сікорського, які навчаються за спеціальністю 124 «Системний аналіз». Підручник також може бути корисним для студентів математичних факультетів вищих навчальних закладів, зокрема, для студентів ІПСА КПІ ім. Ігоря Сікорського, які навчаються за спеціальністю 122 «Комп'ютерні науки».167 с.ukформальна моваавтоматскінченний автоматмагазинний автоматрегярна граматикаконтекстно-вільна граматикаBook510.5/.6(075.80000-0003-4863-7986