Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Шпора_ИВСИТ.docx
Скачиваний:
85
Добавлен:
21.12.2018
Размер:
7.66 Mб
Скачать

72. Минимизация абстрактных автоматов.

Для каждого конечного автомата существует бесконечное кол-во других конечных автоматов, которое распознает те же цепочки. Но существует единственный конечный автомат, кол-во состояний которого минимально. Автоматы, в которых отсутствуют недостижимое состояния и нет эквивалентных состояний называется приведенными, такие автоматы имеют минимально возможное число состояний и более компактно реализуются на ЭВМ. Для решения каждой задачи существует единственный приведенный автомат. Для его получения необходимо исключить все эквивалентные и недостижимые состояния.

метод№1:метод таблиц эквивалентных состояний.

0

1

0

5

2

0

1

6

2

0

2

0

4

0

3

3

5

0

4

6

2

1

5

3

0

1

6

3

1

1

А

0

1

(0,1)

(5,6)

2

(5,6)

3

(0,1)

1.строется таблица эквив-сти сост-й(А), первыми запис-ся два начал-х сост-я, кот-е подверг-ся анализу.

2.выбирается строка в дан.таблице, ячейки кот-й еще не заполнены и проверяется подобны ли состояния, кот-ми она помечена. Если сост-я не подобны, то два исходных сост-я не эквив-ны и процесс завершен, если подобны, то вычисляется рез-т применения каж-го вход-го сим-ла к этой паре сост-й и записыв-сяполученные пары сост-й.

3. если пара разл-х сост-й(получ-х на 2 шаге) еще не использ-сь как метка, то она перепис-ся на новую строку.

4. если таблица завершена выписыв-ся все состояния, поражденные в ходе проверки,кот.б/т экв-ми сост-ми. В нашем пр-ре 0~1 и 5~6.

Метод поиска экв-х сост-й №1 (метод таблиц экв-х сост-й) не всегда применим,т.к.расс-ся т/о пары экв-х сост-й и каж-й раз для новой пары сос-й н/о строить свою таблицу.

Метод №2:метод разбиения на непересекающиеся подмн-ва.

0

1

0

5

2

0

1

6

2

0

2

0

4

0

3

3

5

0

4

6

2

1

5

3

0

1

6

3

1

1

1.все мн-во сос-й разбив-ся на 2 блока, 1н блок содержит т/о отверг-е, др-й т/о доп-щие сост-ия. Ни олно сост-е 1-го блока не м.б.экв-но как.либо состоянию из 2-го блока.

Р1=({0,1,2,3},{4,5,6})

2.расс-м переходы в 1м блоке под возд-ем 0. из сост-й 0и1 переход в 5и6- доп-щие сост-ия, из 2и3 переход в 0и3-отверг-е сост-я, значит Р2=({0,1},{2,3},{4},{5,6}).

3.расс-е поведение блока {2,3} если на входе дей-т серия сим-в 0: они не экв-ны, Р3=({0,1},{2},{3},{4},{5,6}).

4.дальнейшие попытки разбить блок ={0,1}и {5,6}ничего не дают, значит 0~1 и 5~6.

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

  1. начать список с начал-го состояния.

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

  3. если эта процедура перестает пораждать нов-е состояния, то алг-м завершен и все сост-ия, кот.не проявились по ходу алг-ма не достижимы, соответ-щие строки удаляются.

0

1

0

1

0

4

3

0

0

4

3

0

1

2

5

1

4

2

3

1

2

3

6

0

3

0

2

0

3

0

2

0

2

3

6

0

4

2

3

1

6

3

6

0

5

0

4

1

6

3

6

0

Недостиж-е сост-ия: 1,5

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]