Теория автоматов, языков и вычислений : учебное пособие [для студентов-математиков по магистерской программе 01.04.02.06 «Прикладная математика и информатика в гуманитарных и социально-экономических науках» напр. 01.04.02 «Прикладная математика и информатика»]
База данных:Каталог библиотеки СФУ (ББК22.18 Т 338)
Библиографическое описание:Теория автоматов, языков и вычислений : учебное пособие [для студентов-математиков по магистерской программе 01.04.02.06 «Прикладная математика и информатика в гуманитарных и социально-экономических науках» напр. 01.04.02 «Прикладная математика и информатика»] / Сиб. федер. ун-т, Ин-т математики и фундамент. информатики ; сост.: Д. В. Семенова, В. В. Быкова. - Электрон. текстовые дан. (pdf, 1,4 Мб). - Красноярск : СФУ, 2017. - 210 с. - Загл. с титул. экрана. - Библиогр.: с. 206-207. - Изд. № 2017-2576 : Б. ц. - Текст : электронный.
Аннотация:Изложены основы теории конечных автоматов, формальных языков и грамматик, регулярные выражения, классификация формальных языков и грамматик по Хомскому, элементы теории сложности вычислений. По каждому разделу приведены теоретические сведения, контрольные вопросы и упражнения, задачи для самостоятельного решения. Предназначено для студентов-математиков, обучающихся по магистерской программе 01.04.02.06 «Прикладная математика и информатика в гуманитарных и социально-экономических науках» направления подготовки 01.04.02 «Прикладная математика и информатика».
Ключевые слова:теория формальных языков, формальные грамматики, регулярные выражения и языки, теория автоматов, теория сложности вычислений, конечные автоматы, формальные языки, неразрешимость, сложность вычислений
