Some remarks on multiple-entry finite automata

摘要

Some remarks on multiple-entry finite automata are presented. They deal with the effects of nondeterminism and of other logics on the family of languages accepted, comparison with finite automata (both deterministic and nondeterministic) in terms of number of states and a bound on a decision procedure.