Для студентов МГУ им. Ломоносова по предмету Модели вычисленийСеминарыСеминары
2019-09-192019-09-19СтудИзба
Семинары
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Предмет
Учебное заведение
МГУ им. ЛомоносоваСеместр
Просмотров
44
Размер
312,66 Kb
Список файлов
Семинары
1. Построение конечных автоматов для заданных языков. Преобразование недетерминированных автоматов к детерминированным. Минимизация детерминированных автоматов.pdf
2. Доказательство нерекурсивности и рекурсивной перечислимости языков. Использование метода сводимости для доказательства алгоритмической неразрешимости массовых проблем.pdf
3. Построение контекстно-свободных грамматик и магазинных автоматов. Приведение контекстно-свободных грамматик к нормальной форме Хомского.pdf
4. Построение конечных автоматов-преобразователей, распознающих заданные рациональные отношения. Построение автоматов Бюхи и формул логики S1S.pdf
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
19 сентября 2019 в 23:48
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
