"Deterministic Automata: Simulation, Universality and Minimality. Extended ..."

Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics