1 Введение в теорию автоматов

Варианты функций необходимо получить у преподавателя

Состояния конечного автомата. Определение множества состояний по внутренней структуре.

1. Постройте таблицу переходов для заданий в соотвествии со своим вариантом

Конечный (n,p,q) автомат задан квадратной матрицей - матрицей переходов, размеров n*n, n – вводит пользователь (проверять, что n - натуральное), натуральное число. Матрица переходов заполняется вручную/автоматически.

Вариант 1 - определить изолированные состояния. Выдать ответ, в случае существования указать номера таких состояний. 

 Вариант 2 - определить преходящие состояния. Выдать ответ, в случае существования указать номера таких состояний. 

  Вариант 3 - определить тупиковые состояния. Выдать ответ, в случае существования указать номера таких состояний. 

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

Реализовать разбиение на классы к-эквивалентности методом таблиц пар. Можно использовать автоматы из лекций А6, А7, либо задавать самостоятельно. Все остальные требования см в Задании 6