voprosy_k_ekz2021 (1)
.docxВопросы к экзамену (Теория автоматов, ИВТ)
Строки. Префиксы, суффиксы, подстроки. Формальные языки.
Дерево вывода. Синтаксическое и семантическое деревья. Примеры.
Контекстная грамматика. Контекстно-свободная грамматика.
Регулярные грамматики и конечный автомат.
Эквивалентность автоматов.
Аксиомы и основные теоремы булевой алгебры
Теорема о структурной полноте В.М.Глушкова.
Канонический метод структурного синтеза автоматов (Модель дискретного преобразователя В.М.Глушкова)
СДНФ и СКНФ
Синтез автомата на D- и RS-триггерах.
СНФ в базисе «Стрелка Пирса» и «Штрих Шеффера»
Графический метод структурного синтеза автоматов.
Свойства функций «Исключающее ИЛИ», «Импликция от У к Х».
Синтез комбинационных схем на ПЗУ.
Свойства функций «Штрих Шеффера», «Стрелка Пирса».
Дешифратор в цепи ОС структурного автомата.
Классы логических функций.
Теорема Поста-Яблонского.
Состязания (гонки) в автоматах.
Аппаратные противогоночные средства: импульсная синхронизация, двойная память, апериодические схемы.
Связь между моделями Мура и Мили.
Базисы логических функций.
Абсолютно минимальные формы представления ФАЛ.
Построение комбинационной схемы автомата. Ограничения по базису, по количеству входов и выходов.
Полнота переходов и полнота выходов автомата Мура.
Синтез комбинационных (n,k)-полюсников
Элементарные автоматы.
Минимизация сложности комбинационных схем: аналитический метод, метод Карт Карно (3,4,5 переменных).
Понятие базиса логических функций. Примеры.
Минимизация сложности комбинационных схем: метод Квайна-Мак-Класски
Типовые функциональные узлы для синтеза комбинационных схем: дешифраторы, мультиплексоры.
Типовые функциональные узлы для синтеза комбинационных схем - ПЗУ.
Синтез комбинационных схем по не полностью определенным ФАЛ.
Синтез комбинационных схем на 2-х и 3-хвходовых элементах «Штрих Шеффера» по заданной ДНФ.
Синтез комбинационных схем на дешифраторах и мультиплексорах.
Соединения автоматов: последовательное, параллельное.
Соединение автоматов с обратной связью.
Синтез схем по временным булевым функциям
Синтез и анализ последовательностных автоматов
Циклы и тупиковые состояния в последовательностных автоматах.
Форма Бэкуса-Наура, применение БНФ при синтаксическом разборе предложений.
Синтез комбинационных схем на 2х- и 3хвходовых элементах «Стрелка Пирса» по заданной КНФ
Определение абстрактного автомата. Автоматы Мура и Мили.
Способы задания автоматов.
Связь между моделями Мура и Мили.
Структурный автомат, интерпретация состояния автомата состояниями элементов памяти.
Элементарные автоматы: RS-, D-, DV-триггеры
Элементарные автоматы: JK-, T-,триггеры
Реакции автоматов Мили и Мура. Примеры.
Распознаватели цепочек символов на базе конечных автоматов