Computation and automata
Formal languages
Turing Machines with Sublogarithmic Space
Turing Machines with Sublogarithmic Space
Formal languages and their relation to automata
Formal languages and their relation to automata
Regulated nondeterminism in pushdown automata
Theoretical Computer Science
Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case
Fundamenta Informaticae - Non-Classical Models of Automata and Applications
Hi-index | 0.00 |
We introduce and investigate blackhole pushdown automata, variants of pushdown automata, where a string can always be pushed to the pushdown, but only a given depth of the pushdown content is remembered (the rest of the pushdown content is either canceled or becomes inaccessible). We also study blackhole variants of regulated pushdown automata, where the automaton in some distinguished states checks the form of its pushdown content against a given control language. We present characterizations of several language families in terms of these constructs.