Теория автоматов
(TeoryAvt)

 This course allows guest users to enter

Информация о преподавателях:

Имя:

Буркатовская Юлия Борисовна, доцент кафедры Вычислительной техники

Веремеенко Елена Сергеевна, ассистент кафедры Вычислительной техники

Электронная почта:

tracey@tpu.ru , garnele@tpu.ru

Местонахождение учреждения:

Учебный корпус № 10, 407

Телефон:

8 (3822) 701-609

Информационная страница:

Заголовок:

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

Цели курса:               

Структура курса:

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

СОДЕРЖАНИЕ ТЕОРЕТИЧЕСКОГО РАЗДЕЛА ДИСЦИПЛИНЫ

1. Построение модели дискретного уствройства

2. Логические сети. Кодирование состояний автомата

3. Синтез автоматов. Примеры

4. Тестирование цифровых устройств

5. Формальные, контекстно-свободные языки и грамматики.

2. Перечень лабораторных работ

1. Разработка запоминающей части автомата (1 час).

2. Разработка входной и выходной частей автомата (2 часа).

3. Объединение частей автомата (1 час).

Аннотация:

 

Учебное пособие по дисциплине «Теория автоматов» предназначено для студентов очного и дистанционного обучения ТПУ. Данная дисциплина изучается один семестр.

Организация контроля и оценки учебной деятельности студента:

 

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

Инструкция по работе с курсом:

 

Материал учебного пособия рассчитан на один семестр. После изучения теоретических модулей студент проходит самотестирование по пройденной теме, получает дополнительную консультацию в чате или по электронной почте. Вопросы самотестирования не оцениваются преподавателем и предназначены для самопроверки студента. В период самостоятельного изучения материала курса студент может консультироваться с преподавателем в режиме on-line с помощью чата. Консультации проводятся в конце изучения каждой темы учебного пособия. Дату и время проведения консультации назначает преподаватель. Студент имеет право задавать вопросы преподавателю по электронной почте (срок ответа преподавателя – 5 дней.

Межпредметные связи дисциплины:

 

При изложении материала дисциплины используются знания и умения, полученные студентами в дисциплинах: «Математическая логика и теория алгоритмов», «Методы оптимизации», «Информатика».

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

Ключевые слова:

 

Automata theory , abstract machines , finite state machine , formal languages , compiler design , deterministic finite automaton , infinite tree automaton , quantum finite automaton , geometric automaton , pushdown automata , Turing machines.

Copyright ©2011. Tomsk Polytechnic University

This course allows guest users to enter