Таблица последствий

Таблица значений - это инструмент, используемый для облегчения минимизации состояний в конечном автомате. Идея состоит в том, чтобы начать предполагать, что каждое состояние может объединяться с любым другим состоянием, а затем исключить комбинации, которые невозможны. Когда все невозможные комбинации удалены, оставшиеся комбинации состояний действительны и, следовательно, могут быть объединены.

Процедура следующая:

1. Перечислить возможности комбинации состояний в таблице импликации,
2. Исключить комбинации, которые невозможны, потому что состояния производят разные результаты,
3. Исключить комбинации, которые невозможны, потому что комбинация зависит от эквивалентности ранее исключенной возможности,
4. Повторяйте вышеуказанный шаг до тех пор, пока исключения больше не станут возможными.

• Процедура сокращения Мура

• Б. Холдсворт (12 мая 2014 г.). Дизайн цифровой логики. Elsevier Science. С. 195–. ISBN 978-1-4831-4222-7.

.