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

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

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

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

Ссылки

• Б. Холдсворт (12 мая 2014 г.). Проектирование цифровой логики . Эльзевир Наука. стр. 195–. ISBN  978-1-4831-4222-7 .