Тема 6.1. Предмет теории автоматов и формальных языков, его место и задачи в подготовке бакалавра по информатике и вычислительной технике. Краткий исторический обзор

 

Целями освоения дисциплины "Теория автоматов и формальных языков"являетсяформирование общекультурных и профессиональных компетенций, необходимых для реализации проектно-конструкторской проектно-технологической, научно-исследовательской, научно-педагогической, монтажно-наладочной и сервисно - эксплуатационной деятельности:

ОК-1 - владение культурой мышления, способность к обобщению, анализу, восприятию информации, постановки цели и выбору путей её достижения;

ОК-10 - использование основных законов естественнонаучных дисциплин в профессиональной деятельности, применение методов математического анализа и моделирования, теоретического и экспериментального исследования;

ПК-4 - разработка моделей компонентов информационных систем, включая модели баз данных.

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

· изучение элементов теории конечных автоматов;

· изучение начальных языков описания цифровых автоматов;

· изучение автоматных языков описания цифровых автоматов;

· изучение основных этапов абстрактного и структурного синтеза конечных автоматов;

· освоения классических методов синтеза по заданному автоматному отображению конечного автомата в заданном структурном базисе;

· изучение элементов теории формальных грамматик;

· изучение методов построения генераторов и акцепторов формальных языков;

· изучение принципов построения комбинационных схем и цифровых управляющих автоматов;

· изучение принципов сопряжение аппаратных средств ЭВМ;

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

В результате изучения дисциплины студент должен получить знания в области:

· теории конечных автоматов, как моделей информационных систем;

· абстрактного и структурного синтеза конечных автоматов;

· синтеза по заданному автоматному отображению конечного автомата в заданном структурном базисе;

· теории формальных грамматик и её использования для построения генераторов и акцепторов формальных языков.

· методов перехода от содержательной формулировки задачи к ее математической постановке в терминах теории автоматов;

· построения комбинационных схем и цифровых управляющих автоматов.

 

В результате изучения дисциплины студент должен уметь:

 

· использовать методы синтеза цифровых автоматов для построения технических устройств ЭВМ.

· используя элементы теории формальных грамматик разрабатывать генераторы и распознаватели формальных языков.

· используя описания конечных автоматов, как моделей информационных систем, перейти от содержательной формулировки задачи к ее математической постановке в терминах теории автоматов;

После изучения дисциплины студент должен получить следующие навыки практической профессиональной деятельности:

  • использования основных законов естественнонаучных дисциплин в профессиональной деятельности, применения методов математического анализа и моделирования, теоретического и экспериментального исследования к теории конечных автоматов;
  • использование навыков работы с компьютером как средством синтеза и исследования генераторов и акцепторов формальных языков;
  • разработки моделей компонентов теории формальных грамматик, включая модели абстрактных и структурных конечных автоматов.
  • методов перехода от содержательной формулировки задачи к ее математической постановке в терминах теории автоматов; описания автоматов с помощью регулярных выражений алгебры событий, ГСА, ЛСА, МСА, таблиц переходов и выходов и т.п.; преобразования и объединения автоматов;
  • проектирования сложных цифровых устройств, как композиции операционного и управляющего автоматов, и исследования подобных устройств.

Краткий исторический обзор.

 








Дата добавления: 2015-08-11; просмотров: 775;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.004 сек.