Теория автоматов
О курсе
В результате успешного освоения дисциплины студент будет
знать:
- методы разработки и минимизации конечного автомата;
- методы анализа, синтеза и тестирования логических сетей;
- классификацию и область использования формальных грамматик и языков;
уметь:
- построить функциональную модель дискретного устройства с памятью;
- синтезировать синхронную и асинхронную последовательностную схему с отсутствием опасных состязаний;
- синтезировать комбинационную схему с учетом требований лекготестируемости или самопроверяемости и построить кратчайший полный тест;
- записать формальную грамматику и использовать ее для синтаксического анализа, построить по грамматике конечный распознаватель или магазинный автомат;
владеть:
- навыками синтеза и тестирования схем в САПР.
Образовательная программа (ООП/ДОП)
Направления подготовки бакалавриата:
09.03.01 Информатика и вычислительная техника
Программа курса
Тема 1. Функциональные модели дискретных устройств
Тема 2. Минимизация конечных автоматов
Тема 3. Логические сети
Тема 4. Противогоночное кодирование
Тема 5. Кодирование в синхронных системах
Тема 6. Тестирование дискретных устройств
Тема 7. Самопроверяемые дискретные устройства
Длительность курса, количество часов, кредиты
216 часов на освоение курса, 6 зачётных единиц
Авторы курса
Буркатовская Юлия Борисовна
кандидат физико-математических наук, доцент отделения информационных технологий ИШИТР
http://portal.tpu.ru/SHARED/t/TRACEY
Консультант: Егорова Лидия Александровна, ведущий эксперт ОЦОР ЦЦОТ ТПУ
Copyright ©2018.
Tomsk Polytechnic University, All rights reserved.