Синтез абстрактного автомата по оператору соответствия.

Приобретение практических навыков составления формального описания абстрактного автомата (АА), заданного в виде оператора соответствия.

Для выполнения работы необходимо:

1) привести заданный ОС к автоматному виду (см. раздел 1.2.1);

2) для полученного ОС построить граф переходов АА модели Мили (для четных вариантов) или Мура (для нечетных вариантов);

3) составить СТПВ для АА модели Мили, либо ОТП для АА модели Мура;

4) выполнить первый этап минимизации полученного АА: составить группы эквивалентных состояний и таблицу переходов минимизированного автомата;

5) выполнить все этапы минимизации АА с помощью треугольной таблицы (см. раздел 1.3).

файл "методТА" содержит методику и задания по предмету.

файл "КР1" содержит данные только по контрольной работе.

файл "лекции" соответственно лекции по предмету