The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine
type: Item
instance of: scholarly article
title: The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine
zbMATH Open document ID: 0473.68046
DOI: 10.1016/0022-0000(81)90072-6
author: Michio Oyamaguchi
author: Yasuyoshi Inagaki
author: N. Honda
published in: Journal of Computer and System Sciences
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 3742628
zbMATH Keywords: deterministic pushdown automata
MaRDI profile type: Publication
full work available at URL: 0022-0000(81)90072-6
OpenAlex ID: W2051999169
cites work: An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
cites work: Equivalence problems for deterministic context-free languages and monadic recursion schemes
cites work: On equivalence and subclass containment problems for deterministic context-free languages
cites work: Superdeterministic DPDAs: The method of accepting does affect decision problems
cites work: Real-Time Strict Deterministic Languages
cites work: On equivalence of grammars through transformation trees
cites work: Q4072875
cites work: Two decidability results for deterministic pushdown automata
cites work: The decidability of equivalence for deterministic stateless pushdown automata
cites work: The equivalence problem for real-time strict deterministic languages
cites work: Q3886866
cites work: Properties of deterministic top-down grammars
cites work: A result on the equivalence problem for deterministic pushdown automata
cites work: The equivalence problem for some non-real-time deterministic pushdown automata
cites work: Optimality of a Two-Phase Strategy for Routing in Interconnection Networks
cites work: The equivalence problem for deterministic finite-turn pushdown automata
cites work: Deterministic one-counter automata
cites work: Deterministic context free languages
description: scientific article; zbMATH DE number 3742628