On the universe, disjointness, and containment problems for simple machines
type: Item
instance of: scholarly article
title: On the universe, disjointness, and containment problems for simple machines
zbMATH Open document ID: 1204.68120
author: Oscar H. Ibarra
published in: Information and Computation
publication date: 2010-10-22T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5804330
zbMATH Keywords: counter machines
zbMATH Keywords: partially blind counter
zbMATH Keywords: real-time
zbMATH Keywords: partially blind 2-head NFA
zbMATH Keywords: pushdown automata
zbMATH Keywords: universe problem
zbMATH Keywords: disjointness problem
zbMATH Keywords: containment problem
MaRDI profile type: Publication
full work available at URL: j.ic.2010.07.004
OpenAlex ID: W2063925705
cites work: Reversal-bounded multipushdown machines
cites work: On a complexity hierarchy between L and NL
cites work: An Infinite Hierarchy of Context-Free Languages
cites work: Q4265634
cites work: Reversal-Bounded Multicounter Machines and Their Decision Problems
cites work: Restricted one-counter machines with undecidable universe problems
cites work: On partially blind multihead finite automata.
cites work: Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
cites work: Complete formal systems for equivalence problems
cites work: Q4737211
DOI: 10.1016/J.IC.2010.07.004
description: scientific article; zbMATH DE number 5804330