Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 3 / Issue 11

available in:   PDF (270 kB) PS (93 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-003-11-1180


Minimal Deterministic Incomplete Automata

Elena Calude (Computer Science Department, The University of Auckland, New Zealand)

Mario Lipponen (Computer Science Department, The University of Auckland, New Zealand)

Abstract: We construct a minimal automaton for an output-incomplete Moore automaton. The approach is motivated by physical interpretation of seeing deterministic finite 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 undefined or unspecified behaviour of the original automaton.

1.) Proceedings of the First Japan--New Zealand Workshop on Logic in Computer Science, special issue editors D.S. Bridges, C.S. Calude, M.J. Dinneen and B. Khoussainov. 2.)On leave from the Department of Mathematics, University of Turku, Finland.

Keywords: Minimality, incomplete automata

Categories: F.1.1