Перейти к навигации Перейти к поиску
Таблица импликации - это инструмент, используемый для упрощения минимизации состояний в конечном автомате . Идея состоит в том, чтобы начать с предположения, что каждое состояние может объединяться с любым другим состоянием, а затем исключить комбинации, которые невозможны. Когда все невозможные комбинации устранены, оставшиеся комбинации состояний действительны и, следовательно, могут быть объединены.
Порядок действий следующий:
- Перечислите возможности комбинации состояний в таблице последствий,
- Исключите комбинации, которые невозможны, потому что состояния производят разные результаты,
- Исключить комбинации, которые невозможны, потому что комбинация зависит от эквивалентности ранее исключенной возможности,
- Повторяйте вышеуказанный шаг до тех пор, пока устранение не станет невозможным.
Ссылки [ править ]
- Б. Холдсворт (12 мая 2014 г.). Цифровой логический дизайн . Elsevier Science. С. 195–. ISBN 978-1-4831-4222-7.
 | Эта статья, посвященная формальным методам, является незавершенной . Вы можете помочь Википедии, расширив ее . |