Minimal Deterministic Incomplete Automata
Elena Calude, Mario Lipponen · 2020
Abstract: We construct a minimal automaton for an output-incomplete Moore automaton. The approach is motivated by physical interpretation of seeing deterministic nite automata as models for elementary particles. When compared to some classical methods our minimal automaton is unique up to an isomorphism and preserves also the unde ned or unspeci ed behaviour of the original automaton.