Содержание архива
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!
Характеристики
Тип файла архив
Архивы, с которыми работает студизба, могут быть двух типов: ZIP и RAR. Оба формата сделаны с двумя целями: объединить несколько файлов в один без потери качества, и уменьшить их размер. Суть их примерно одинакова, но как и с текстовым форматом у ZIP архивов оказалось мноество сложностей, ведь каждая система использует его слегка по своему. Впрочем сейчас всё больше универсальных программ, которые работают без проблем на любом устройстве.
RAR-формат является доработанной версией ZIP, который работает действительно лучше и открывается на любом устройстве без проблем, но для него нужно скачивать дополнительную программу, благодаря чему этот формат получил намного меньшее распространение. Также этот формат является условно бесплатным, что также усложняет работу с ним, ведь разархивировать можно бесплатно, а вот в коммерческих масштабах за него нужно платить.
Список файлов лекций
1. Формальные языки. Операции над языками.Разнообразие моделей вычислений. Конечные автоматы Рабина-Скотта. Автоматные языки. Упрощение конечных автоматов.pdf
2. Алгоритм преобразования конечного автомата к детерминированному виду. Замкнутость класса автоматных языков относительно операций над языками.pdf
7. Формальные грамматики. Классификация формальных грамматик. Иерархия Хомского формальных языков. Неограниченные грамматики и рекурсивно перечислимые языки.pdf
8. Деревья синтаксического разбора. Теорема о разрастании для контекстно-свободных языков. Примеры языков, не являющихся контекстно-свободными.pdf
9. Свойства замкнутости контекстно-свободных языков. Алгоритмические проблемы для КС-языков. Неразрешимость проблемы эквивалентности для контекстно-свободных грамматик.pdf
11. Реагирующие системы вычислений. Автоматы Бюхи. ω-регулярные языки. Свойства замкнутости класса ω-регулярных языков. Алгоритмические проблемы для автоматов Бюхи.pdf
12. Логический способ описания языков. Монадическая предикатов логика второго порядка S1S. Взаимосвязь логики S1S и ω-автоматов. Другие логики предикатов второго порядка.pdf