rpd000008742 (1010236)
Текст из файла
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000008742)
Теория автоматов и формальных языков
(указывается наименование дисциплины по учебному плану)
| Направление подготовки | Информатика и вычислительная техника | |||||
| Квалификация (степень) выпускника | Бакалавр | |||||
| Профиль подготовки | Вычислительные машины, комплексы и сети | |||||
| Форма обучения | очная | |||||
| (очная, очно-заочная и др.) | ||||||
| Выпускающая кафедра | Б21 | |||||
| Обеспечивающая кафедра | Б21 | |||||
| Кафедра-разработчик рабочей программы | Б21 | |||||
| Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
| 5 | 144 | 34 | 0 | 16 | 67 | 27 | Э |
| Итого | 144 | 34 | 0 | 16 | 67 | 27 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 230100 Информатика и вычислительная техника
Авторы программы :
| Слепова А.Ш. | _________________________ |
| Заведующий обеспечивающей кафедрой Б21 | _________________________ |
Программа одобрена:
| Заведующий выпускающей кафедрой Б21 _________________________ | Декан выпускающего факультета "Восход" _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Теория автоматов и формальных языков является достижение следующих результатов образования (РО):
| N | Шифр | Результат освоения |
| 1 | З-3 | Методы автоматического управления объектами |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
| N | Шифр | Компетенция |
| 1 | ПКП-10 | Способность проводить анализ и синтез операционных устройств вычислительной техники; |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 4 зачетных(ые) единиц(ы), 144 часа(ов).
| Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
| Теория автоматов и формальных языков | Понятие автоматов и формальных языков | 2 | 0 | 0 | 3 | 5 | 144 |
| Автоматные языки | 6 | 0 | 0 | 11 | 17 | ||
| Конечный автомат | 2 | 0 | 0 | 2 | 4 | ||
| Абстрактный автомат | 10 | 0 | 8 | 22 | 40 | ||
| Структурный автомат | 4 | 0 | 4 | 8 | 16 | ||
| Микропрограммный автомат | 6 | 0 | 4 | 15 | 25 | ||
| Проблемы проектирования автоматов | 4 | 0 | 0 | 6 | 10 | ||
| Всего | 34 | 0 | 16 | 67 | 117 | 144 | |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Автоматы и формальные языки
- 1.1. Конечный автомат. Спсособы задания.
- 1.2. Автоматные языки: классификация языков по Хомскому, порождающие грамматики
- 1.3. Регулярная грамматика.
2. Абстрактные автоматы
- 2.1. Спсособы задания, типы автоматов
- 2.2. Минимизация автоматов
- 2.3. Композиция и декомпозиция автоматов
- 2.4. Сеть автоматов
3. Структурный автомат
- 3.1. Методы структурного синтеза автомата
- 3.2. Риски логических схем
4. Микропрограммный автомат
- 4.1. Синтез микропрограммных автоматов
- 4.2. Программируемые логические матрицы
5. Проблемы проектирования автоматов
- 5.1. Проблема отражения времени при проектировании
- 5.2. Перспективы автоматизации проектирования
-
Лекции
| № п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
| 1 | 1.1.Понятие автоматов и формальных языков | 2 | Понятие автоматов | 1.1 |
| 2 | 1.2.Автоматные языки | 2 | Автоматные языки. Порождающие грамматики | 1.2 |
| 3 | 1.2.Автоматные языки | 2 | Распознаватели | 1.2 |
| 4 | 1.2.Автоматные языки | 2 | Регулярные языки и их свойства | 1.3 |
| 5 | 1.2.Конечный автомат | 2 | Конечные автоматы: определение, способы задания. | 1.1 |
| 6 | 1.3.Абстрактный автомат | 2 | Абстрактные автоматы: определение, способы задания | 2.1 |
| 7 | 1.3.Абстрактный автомат | 2 | Минимизация автоматов: метод поиска минимального замкнутого покрытия | 2.2 |
| 8 | 1.3.Абстрактный автомат | 2 | Минимизация автоматов: метод Ауфенкампа-Хона | 2.2 |
| 9 | 1.3.Абстрактный автомат | 2 | Методы композиции и декомпозиции автоматов. | 2.3 |
| 10 | 1.3.Абстрактный автомат | 2 | Сеть автоматов | 2.4 |
| 11 | 1.4.Структурный автомат | 2 | Канонический метод структурного синтеза автомата | 3.1 |
| 12 | 1.4.Структурный автомат | 2 | Гонки в автоматах | 3.2 |
| 13 | 1.5.Микропрограммный автомат | 2 | Микропрограмма работы дискретных устройств | 4.1 |
| 14 | 1.5.Микропрограммный автомат | 2 | Синтез микропрограммных автоматов Мили и Мура | 4.1 |
| 15 | 1.5.Микропрограммный автомат | 2 | Реализация программируемых логических матриц на основе микропрограмных автоматов. | 4.2 |
| 16 | 1.6.Проблемы проектирования автоматов | 2 | Проблема отражения времени при проектировании автоматов | 5.1 |
| 17 | 1.6.Проблемы проектирования автоматов | 2 | Switch-технологии | 5.2 |
| Итого: | 34 | |||
-
Практические занятия
| № п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
| Итого: | ||||
-
Лабораторные работы
| № п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
| 1 | 1.3.Абстрактный автомат | Поиск минимального замкнутого покрытия | Лаборатория вычислительного центра | 4 | 2.2 |
| 2 | 1.3.Абстрактный автомат | Построение сети автоматов методом декомпозиции | 4 | 2.3 | |
| 3 | 1.4.Структурный автомат | Канонический метод структурного синтеза автомата | 4 | 3.1 | |
| 4 | 1.5.Микропрограммный автомат | Реализация микропрограммных автоматов на программируемых логических матри-цах | Лаборатория вычислительного центра | 4 | 4.2 |
| Итого: | 16 | ||||
-
Типовые задания
| № п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
| Итого: | |||
-
Курсовые работы и проекты по дисциплине
-
Рубежный контроль
-
Промежуточная аттестация
1. Экзамен (5 семестр)
Прикрепленные файлы:
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
