Министерство науки и высшего образования РФ Федеральное государственное бюджетное образовательное учреждение высшего образования
«Сибирский государственный автомобильно-дорожный университет» (СибАДИ)
Кафедра «Компьютерные информационные автоматизированные системы»
МЕТОДИЧЕСКИЕ УКАЗАНИЯ ДЛЯ ЛАБОРАТОРНЫХ РАБОТ ПО
ДИСЦИПЛИНЕ «ТЕОРИЯ АВТОМАТОВ»
Палий И.А.
Омск-2019
Рецензент: к.э.н, доц. Остринская Л.И. (СибАДИ)
Работа утверждена редакционно-издательским советом СибАДИ в качестве методических указаний.
Методические указания для лабораторных работ по дисциплине «Теория автоматов» [Электронный ресурс]: методические указания / И. А. Палий. – Электрон. дан. – Омск : СибАДИ, 2019. – Режим доступа: . . . . . . . . . . . . . . .
свободный после авторизации. – Загл. с экрана.
Разработанные методические указания для лабораторных работ по дисциплине «Теория автоматов» содержат сведения о некоторых алгоритмах анализа и синтеза конечных автоматов.
Предназначены для обучающихся по направлению подготовки 09.03.01 «Информатика и вычислительная техника».
Издание подготовлено на кафедре «Компьютерные информационные автоматизированные системы»
© ФГБОУ ВО «СибАДИ», 2019
Издание первое. Дата подписания к использованию 24.01.2019 РИО ИПК СибАДИ. 644080, т. Омск, ул. 2-я Поселковая, 1
Издательско-полиграфический комплекс СибАДИ. 644080, г. Омск, пр. Мира, 5 © ФГБОУ ВО «СибАДИ», 2019
СОДЕРЖАНИЕ
1. |
Цель и задачи дисциплины ..................................................................................................................................... |
4 |
|
2. |
Методы и форма организации обучения ............................................................................................................... |
5 |
|
3. |
Место дисциплины в структуре ООП ................................................................................................................... |
6 |
|
4. |
Лабораторный практикум ....................................................................................................................................... |
7 |
|
|
4.1 |
Порядок выполнения лабораторных работ.............................................................................................. |
7 |
|
4.2 |
Лабораторные работы................................................................................................................................ |
7 |
5. |
Контрольные вопросы ........................................................................................................................................ |
9 |
|
6. |
Критерии оценки выполнения лабораторных работ ............................................................................................ |
9 |
|
7. |
Информационные технологии.............................................................................................................................. |
11 |
|
8. |
УЧЕБНО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ ................................................ |
11 |
|
|
8.1. Рекомендуемая литература ............................................................................................................................ |
11 |
|
|
8.2. Средства обеспечения освоения дисциплины. ............................................................................................ |
12 |
|
9. |
ПЕРЕЧЕНЬ РЕСУРСОВ СЕТИ «ИНТЕРНЕТ», НЕОБХОДИМЫХ ДЛЯ ОСВОЕНИЯ ДИСЦИПЛИНЫ |
|
|
........................................................................................................................... Ошибка! Закладка не определена.
3
1. Цель и задачи дисциплины
Целью изучения дисциплины «Теория автоматов» Целью освоения учебной дисциплины является изучение и освоение студентами основных положений теории формальных языков, грамматик, автоматов-
распознавателей; изучение и освоение общих методов синтеза конечных автоматах на триггерах.
Задачами курса являются:
Изучить основы теории формальных языков.
Изучить основы теории конечных автоматов с памятью
Научить некоторым алгоритмам построения автоматов-
распознавателей.
Научить строить комбинаторные схемы, реализующие данные логические функции.
Научить минимизировать конечные автоматы.
Научить синтезу конечных автоматов на различных видах триггеров.
4
2. Методы и форма организации обучения
Процесс изучения дисциплины «Теория автоматов» направлен на формирование следующих компетенций:
ПК-2: способностью разрабатывать компоненты аппаратно-программных комплексов и баз данных, используя современные инструментальные средства и технологии программирования;
знать: элементы теории формальных языков и формальных грамматик;
различные виды триггеров;
уметь: синтезировать конечные автоматы на триггерах;
владеть: алгоритмами синтеза конечных автоматов на триггерах.
Для успешного освоения дисциплины применяются различные образовательные технологии, которые обеспечивают достижение планируемых результатов обучения согласно основной образовательной программе, с учетом требований к объему занятий в интерактивной форме.
Интерактивные формы обучения, которые используются в данном курсе, включают: «Работа в команде» и «Case-study», "Мозговой штурм".
Для контроля освоения компетенций используются следующие формы контроля: опрос по изучаемым разделам дисциплины, тесты.
5