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