One-way stack automata
From MaRDI portal
Cited in
(96)- Cayley automata
- Stack languages and log n space
- A note on cyclic closure operations
- Grammars, derivation modes and properties of indexed and type-0 languages
- The Dyck language \(D_ 1^{'*}\) is not generated by any matrix grammar of finite index
- Observations about bounded languages and developmental systems
- Measuring the expressive power of practical regular expressions by classical stacking automata models
- Multi-stack-counter languages
- The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors
- Some decision problems concerning sequential transducers and checking automata
- Deterministic real-time tree-walking-storage automata
- Alternating and empty alternating auxiliary stack automata.
- Simulating two pushdown stores by one tape in \(O(n^{1.5}\,\sqrt{\log \,n})\) time
- Set automata
- Some restrictions onW-grammars
- A grammatical characterization of alternating pushdown automata
- Absolutely parallel grammars and two-way finite-state transducers
- Theory of formal grammars
- Leftmost derivations in CD grammar systems
- A note on undecidable properties of formal languages
- Deterministic Input-Reversal and Input-Revolving Finite Automata
- Context-free grammars with linked nonterminals
- The complexity of the membership problem for some extensions of context-free languagest†
- Reversal-bounded multipushdown machines
- SOME DECISION QUESTIONS CONCERNING THE TIME COMPLEXITY OF LANGUAGE ACCEPTORS
- Accepting runs in a two-way finite automaton
- Diving into the queue
- Homomorphic characterizations of recursively enumerable languages with very small language classes
- scientific article; zbMATH DE number 3548457 (Why is no real title available?)
- Pushdown cellular automata
- Petri net algorithms in the theory of matrix grammars
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Sublogarithmic ambiguity
- Control sets on grammars
- The theory of languages
- Self-verifying Cellular Automata
- Quasi-realtime languages
- On the extension of Gladkij's theorem and the hierarchies of languages
- One-way weak-stack-counter automata
- The theory of languages
- What makes some language theory problems undecidable
- Syntactic operators on full semiAFLs
- Extended macro grammars and stack controlled machines
- Deterministic stack transducers
- Decidability of code properties
- Products in a category with only one object
- On computational complexity of set automata
- Control sets on context-free grammar forms
- Iterated stack automata and complexity classes
- Superdeterministic DPDAs: The method of accepting does affect decision problems
- Tree-walking-storage automata
- Store languages of Turing machines and counter machines
- A CUCH-machine: The automatic treatment of bound variables
- Deterministic tree-walking-storage automata
- Familles de langages fermées par crochet ouvert
- Visit-bounded stack automata
- Tree-stack automata
- On store languages of language acceptors
- Visit-bounded stack automata
- Removing nondeterminism in constant height pushdown automata
- Scattered context grammars
- Deterministic stack transducers
- Deterministic input-driven queue automata: finite turns, decidability, and closure properties
- Uniform simulations of nondeterministic real time multitape turing machines
- HYBRID EXTENDED FINITE AUTOMATA
- On input-revolving deterministic and nondeterministic finite automata
- Deterministic stack automata and the quotient operator
- Automata with two-sided pushdowns defined over free groups generated by reduced alphabets
- Rational weighted tree languages with storage
- What is the most natural generalized pumping lemma beyond regular and context-free languages?
- Principal abstract families of weighted tree languages
- On store languages and applications
- Description of restricted automata by first-order formulae
- Somewhat finite approaches to infinite sentences.
- Remarks on multihead pushdown automata and multihead stack automata
- \(\mathbb {N}\)-memory automata over the alphabet \(\mathbb {N}\)
- Checking automata and one-way stack languages
- Finite automata with multiplication
- A homomorphic characterization of recursively enumerable languages
- Finite-turn checking automata
- Between SC and LOGDCFL: families of languages accepted by polynomial-time logarithmic-space deterministic auxiliary depth-k storage automata
- Gaining Power by Input Operations: Finite Automata and Beyond
- Degree-languages: A new concept of acceptance
- Queue Automata: Foundations and Developments
- Generalizations of Checking Stack Automata: Characterizations and Hierarchies
- scientific article; zbMATH DE number 3604381 (Why is no real title available?)
- 1-way stack automaton with jumps
- Further remarks on DNA overlap assembly
- Context free normal systems and ETOL systems
- Monadic recursion schemes: The effect of constants
- A note on decision problems for three-way two-dimensional finite automata
- Characterizations of transductions defined by abstract families of transducers
- Deep pushdown automata
- Characterization theorems on abstract families of transducers
- A note on self-modifying finite automata
- Deterministic real-time tree-walking-storage automata
This page was built for publication: One-way stack automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5557460)
