Implication table
≈ 2 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
An implication table is a tool used to facilitate the minimization of states in a state machine. The concept is to start assuming that every state may be able to combine with every other state, then eliminate combinations that are not possible. When all the impossible combinations have been eliminated, the remaining state combinations are valid, and thus can be combined. The procedure is as follows: # List state-combination possibilities in an implication table, # Eliminate combinations that are impossible because the states produce different outputs, # Eliminate combinations that are impossible because the combination depends on the equivalence of a previously eliminated possibility, # Repeat the above step until no more eliminations are possible.
An implication table is a tool used to facilitate the minimization of states in a state machine. The concept is to start assuming that every state may be able to combine with every other state, then eliminate combinations that are not possible. When all the impossible combinations have been eliminated, the remaining state combinations are valid, and thus can be combined. The procedure is as follows: List state-combination possibilities in an implication table, Eliminate combinations that are impossible because the states produce different outputs, Eliminate combinations that are impossible because the combination depends on the equivalence of a previously eliminated possibility, Repeat the above step until no more eliminations are possible. ==References== hr:Minimizacija konačnog automata
Text derived from https://en.wikipedia.org/w/index.php?oldid=997246618 under CC BY-SA 4.0; modifications have been made.