Some decision problems concerning sequential transducers and checking automata
type: Item
instance of: scholarly article
title: Some decision problems concerning sequential transducers and checking automata
zbMATH Open document ID: 0404.68057
DOI: 10.1016/0022-0000(79)90049-7
author: Eitan M. Gurari
author: Oscar H. Ibarra
published in: Journal of Computer and System Sciences
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 3628393
zbMATH Keywords: Decision Problems
zbMATH Keywords: Two-Way Sequential Transducers
zbMATH Keywords: Checking Automata
zbMATH Keywords: Cascade Products of Pushdown Automata
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
full work available at URL: 0022-0000(79)90049-7
OpenAlex ID: W2019160829
cites work: Two-way sequential transductions and stack automata
cites work: One-way stack automata
cites work: Bounded Algol-Like Languages
cites work: Checking automata and one-way stack languages
cites work: One way finite visit automata
cites work: The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
cites work: Q5592246
cites work: On two-way sequential transductions of full semi-AFL's
cites work: Reversal-Bounded Multicounter Machines and Their Decision Problems
cites work: The Unsolvability of the Equivalence Problem for $\varepsilon $-Free NGSM’s with Unary Input (Output) Alphabet and Applications
cites work: On Context-Free Languages
cites work: Q5541339
cites work: Absolutely parallel grammars and two-way finite-state transducers
cites work: Deterministic one-counter automata
cites work: Direct or cascade product of pushdown automata
description: scientific article; zbMATH DE number 3628393