Для ПИбд31: о РГР по дисциплине «Теория автоматов и формальных языков»

Собственно файл с общей формулировкой задания доступен в папке предмета, подпапка «Задания и примеры».

Общие темы следующие:

  1. Формальное описание предметной области (по согласованию с преподавателем) — здесь создаём XML-описание предметной области и переводим его в соответствующую КС-грамматику
  2. Создание автомата для решения проблемы (по согласованию с преподавателем) — выбираем проблему для решения и строим автомат (вид автомата на Ваше усмотрение) для её решения
  3. Создание машины Тьюринга для решения задачи (по согласованию с преподавателем) — выбираем задачу и строим машину Тьюринга для её решения. Тип и структура машины (недетерминированная, многодорожечная, счётчикова, многоленточная и прочие) — на Ваше усмотрение.
  4. Формальное описание фрагмента языка программирования (по согласованию с преподавателем) — Выбираем язык программирования, описываемую область, строим соответствующее XML-описание и на его основе КС-грамматику.
  5. Собственная тема студента (по согласованию с преподавателем) — Здесь может быть что угодно, лишь бы оно имело хоть какое-нибудь решение методами теории автоматов и формальных языков.

Для назначения темы её необходимо выбрать один из пунктов, придумать в нём свою задачу и согласовать со мной на ближайшем занятии (или как можно быстрее). Если до 12 ноября тема Вы не согласуете тему со мной — я назначу её сам по своему произволу.

 

Запись опубликована в рубрике Читаемые предметы. Добавьте в закладки постоянную ссылку.

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход /  Изменить )

Google photo

Для комментария используется ваша учётная запись Google. Выход /  Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход /  Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход /  Изменить )

Connecting to %s