Geum.ru

Рабочая программа для студентов Vкурса специальности

Вид материалаРабочая программа

Содержание


Цель и задачи дисциплины
Т е м а 2. Арифметические основы цифровых автоматов.
Т е м а 3. Логические основы цифровых автоматов.
Т е м а 4. Конечные автоматы.
Подобный материал:
МПС РОССИИ

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ОТКРЫТЫЙ

ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ПУТЕЙ СООБЩЕНИЯ



Одобрено кафедрой
Утверждено

"Вычислительная техника"
Деканом факультета




"Управление процессами

перевозок"















Т Е О Р И Я А В Т О М А Т О В


Рабочая программа

для студентов V курса

специальности

220100. ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ,

КОМПЛЕКСЫ, СИСТЕМЫ И СЕТИ (ЭВМ)


М о с к в а - 2003


Разработано на основании примерной учебной программы данной дисциплины, составленной в соответствии с государственными требованиями к минимуму содержания и уровню подготовки инжене- ров по специальности 220100 (ЭВМ)


Составитель -канд.физ.мат.наук, доц.Е.А.Носиловский


Курс V

Всего часов - 24

Лекционных занятий -16ч.

Лабораторных занятий -8ч.

Курсовой проект - 1

Самостоятельная работа -

Зачёт

Экзамен


Российский государственный открытый технический

университет путей сообщения, 2003

Цель и задачи дисциплины


Целью изучения дисциплины является приобретение знаний об основах общей теории автоматов, о логических и арифметических основах цифровых автоматов.

Дисциплина базируется на знании курса "Дискретная математи-ка" и связана с такими дисциплинами, как "Схемотехника", "Микропроцессорные системы" и др.

В результате изучения дисциплины студенты должны:
  1. Знать логические и арифметические основы цифровых автоматов.
  2. Владеть общими методами анализа и синтеза автоматов.


Рабочая программа


Т е м а 1. Введение.

Общие сведения о цифровом автомате. Представление информации в цифровом автомате (системы счисления, формат с фиксированной и плавающей точкой).

Л.: [1].


Т е м а 2. Арифметические основы цифровых автоматов.

Сложение, умножение и деление чисел на двоичных сумматорах в прямом, обратном и дополнительном кодах. Переполнение разрядной сетки, признаки переполнения.

Л.: [1].


Т е м а 3. Логические основы цифровых автоматов.

Булевы функции, их способы представления. Функциональная полнота (теорема Поста). Методы минимизации булевых функций (Квайна, кубических перекрытий, диаграмм Вейча).

Л.: [1].


Т е м а 4. Конечные автоматы.

Автоматное преобразование информации. Автоматы Мили и Мура. Структурная теория конечных автоматов. Синтез и декомпозиция конечных автоматов. Пример структурного синтеза конечного автомата с использованием канонического метода.

Л.: [1].


Т е м а 5. Автоматные языки.

Формальные языки и их классификация. Грамматики. Конечноавтоматные распознаватели. Синтаксические диаграммы. Связь синтаксических диаграмм и автоматных языков. Регулярные выражения. Теорема Клини.

Л.: [1].


Т е м а 6. Машины Тьюринга.

Формальные модели алгоритмов. Свойства и реализация машины Тьюринга. Универсальная машина Тьюринга.

Л.: [1].


Л и т е р а т у р а


[1] Карпов Ю.Г. Теория автоматов. М.: Изд-во "Питер", 2003г.