Формальні мови та автомати
Вантажиться...
Дата
2019
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Підручник з формальних мов та автоматів містить основні теоретичні відомості з традиційних для даної дисципліни розділів: формальні мови та граматики, машина Тьюрінга, скінченні автомати та автомати з магазинною пам'яттю, лінійно-обмежені машини Тьюрінга. Практично всі теореми та леми повністю доведені; виняток становлять декілька простих тверджень, доведення яких запропоновано як вправи, а також декілька тверджень, повне доведення яких, на думку авторів, суттєво виходить за межі цього підручника. Теоретичний матеріал ілюстровано численними прикладами. Для самостійного виконання надано багато вправ, до яких за потреби надано вказівки.
Підручник орієнтовано для студентів ІПСА КПІ ім. Ігоря Сікорського, які навчаються за спеціальністю 124 «Системний аналіз». Підручник також може бути корисним для студентів математичних факультетів вищих навчальних закладів, зокрема, для студентів ІПСА КПІ ім. Ігоря Сікорського, які навчаються за спеціальністю 122 «Комп'ютерні науки».
Опис
Ключові слова
формальна мова, автомат, скінченний автомат, магазинний автомат, регярна граматика, контекстно-вільна граматика
Бібліографічний опис
Спекторський, І. Я. Формальні мови та автомати : підруч. для студ. спец. 124 «Системний аналіз» / І. Я. Спекторський, В. М. Статкевич ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 954 Кбайт). – Київ : КПІ ім. Ігоря Сікорського, 2019. – 167 с. – Назва з екрана.