We investigate the complexity of several problems concerning Las Vegas finite automata. Our results are as follows.
(1) The membership problem for Las Vegas finite automata is in NL.
(2) The nonemptiness and inequivalence problems for Las Vegas finite automata are NL-complete.
(3) Constructing for a given Las Vegas finite automaton a minimum state deterministic finite automaton is in NP.
These results provide partial answers to some open problems posed by Hromkovič
and Schnitger [Theoret. Comput. Sci.262 (2001)
1–24)].