February 2022
Beginner to intermediate
572 pages
13h
English
For a given function Σ* → Γ*, there are many equivalent finite-state transducers, some of them differing in the number of internal states. For practical reasons it is often important to find the minimal fst, that is, the machine with the smallest number of internal states.
The first step in minimizing a Mealy machine is to remove the states that play no role in any computation because they cannot be reached from the initial state. When there are no inaccessible states, the fst is said to be connected. But a Mealy machine can be connected and yet not be minimal, as the next example illustrates.
Read now
Unlock full access