10. Частично-определенные автоматы. Таблицы перехода и выхода частично-определенного автомата.

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

При неполном определении различают допустимые и недопустимые входные слова.

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

Недопустимые состояния исключают на этапе задания цифрового автомата.

Не полностью определённый автомат задаётся таблицами перехода и выхода и совмещенной таблицей.

11. Минимизация автоматов. Минимизация полностью определенного автомата.

Для минимизации цифрового автомата осуществляется последовательное попарное сравнение состояний и оценка степени их совместимости.

По степени совместимости состояния подразделяются на:

1) Абсолютно несовместимые – состояния, которые на выходе автомата имеют разные выходные сигналы.

2) Абсолютно совместимые – состояния, имеющие одинаковые выходные сигналы и равные функции перехода.

3) Условно совместимые – состояния, совместимые при условии равенства функция выхода и эквивалентности функций перехода.

Треугольная матрица заполняется в 3 этапа:

1 этап: На первом этапе мы определяемабсолютно несовместимые состояния, попарно сравнивая столбцы в таблице выходов. Если значениене равно значению, то ставим «X» в соответствующей ячейке.

2 этап: На втором этапе мы определяемабсолютно-совместимые состояния, попарно сравнивая столбцы в таблице переходов, пропуская те пары, что мы определили как абсолютно несовместимые. Если состояния одинаковы при одинаковых сигналах, то ставим «V» в соответствующей ячейке.

3 этап: На третьем этапе мы определяемусловно-совместимые состояния, производя попарное сравнение состояний, по таблице переходов, и в соответствующую ячейку матрицы Ангера-Пола записываем условие, при котором рассматриваемые состояния совместимы.

После выполнения описанных действий мы получим матрицу Ангера-Пола.

12. Минимизация частично-определенного автомата. Получение совместимых пар с помощью составление треугольной таблицы Пола и Ангера.

Для минимизации цифрового автомата осуществляется последовательное попарное сравнение состояний и оценка степени их совместимости.

По степени совместимости состояния подразделяются на:

1) Абсолютно несовместимые – состояния, которые на выходе автомата имеют разные выходные сигналы.

2) Абсолютно совместимые – состояния, имеющие одинаковые выходные сигналы и равные функции перехода.

3) Условно совместимые – состояния, совместимые при условии равенства функция выхода и эквивалентности функций перехода.

Треугольная матрица заполняется в 3 этапа:

1 этап: На первом этапе мы определяемабсолютно несовместимые состояния, попарно сравнивая столбцы в таблице выходов. Если значениене равно значению, то ставим «X» в соответствующей ячейке.

2 этап: На втором этапе мы определяемабсолютно-совместимые состояния, попарно сравнивая столбцы в таблице переходов, пропуская те пары, что мы определили как абсолютно несовместимые. Если состояния одинаковы при одинаковых сигналах, то ставим «V» в соответствующей ячейке.

3 этап: На третьем этапе мы определяемусловно-совместимые состояния, производя попарное сравнение состояний, по таблице переходов, и в соответствующую ячейку матрицы Ангера-Пола записываем условие, при котором рассматриваемые состояния совместимы.

После выполнения описанных действий мы получим матрицу Ангера-Пола.

Составления максимальных классов совместимости осуществляется по таблице Ангера-Пола. Все состояния на пересечении которых отсутствуют кресты считаются совместимыми (т.е. абсолютно и условно совместимые). Рассмотрение максимальных классов совместимости осуществляется с крайнего правого столбца имеющего по крайней мере одну клетку без крестов.