A note on semilinear sets and bounded-reversal multihead pushdown automata

From MaRDI portal
Publication:1212796

DOI10.1016/0020-0190(74)90043-XzbMath0294.68019OpenAlexW2032543301MaRDI QIDQ1212796

Oscar H. Ibarra

Publication date: 1974

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(74)90043-x




Related Items (31)

PARALLEL COMMUNICATING PUSHDOWN AUTOMATA SYSTEMSON THE COMPUTATIONAL CAPACITY OF PARALLEL COMMUNICATING FINITE AUTOMATAHierarchies of one-way multihead automata languagesUnnamed ItemPushdown automata with reversal-bounded countersComplexity of multi-head finite automata: origins and directionsOn synchronized multi-tape and multi-head automataDescriptional complexity of two-way pushdown automata with restricted head reversalsON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONSTwo-way deterministic multi-weak-counter machinesOn the Computational Capacity of Parallel Communicating Finite AutomataON STATELESS AUTOMATA AND P SYSTEMSHead and state hierarchies for unary multi-head finite automataMulti-head Monitoring of Metric Temporal LogicSensing versus nonsensing automataPARALLEL FINITE AUTOMATA SYSTEMS COMMUNICATING BY STATESSIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATAInvestigations on Automata and Languages Over a Unary AlphabetOn partially blind multihead finite automata.One-reversal counter machines and multihead automata: revisitedFirst-order logics: some characterizations and closure propertiesA useful device for showing the solvability of some decision problemsFinite automata with multiplicationOn the power of parallel communicating Watson-Crick automata systemsOn Synchronized Multitape and Multihead AutomataDescriptional Complexity of Two-Way Pushdown Automata with Restricted Head ReversalsOne-way simple multihead finite automataSome classes of languages in \(NC^ 1\)Descriptional complexity of regular languagesOne-way simple multihead finite automata are not closed under concatenationA note on bounded-reversal multipushdown machines



Cites Work


This page was built for publication: A note on semilinear sets and bounded-reversal multihead pushdown automata