Finite Automata with Generalized Acceptance Criteria

We examine the power of nondeterministic finite automata with acceptance of an input word defined by a leaf language, i.e., a condition on the sequence of leaves in the automaton's computation tree. We study leaf languages either taken from one of the classes of the Chomsky hierarchy, or t...

Full description

Bibliographic Details
Main Authors: Timo Peichl, Heribert Vollmer
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2001-12-01
Series:Discrete Mathematics & Theoretical Computer Science
Online Access:http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/143