Some decision problems concerning sequential transducers and checking automata (Q1256855): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(79)90049-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2019160829
@@ Property / OpenAlex ID: W2019160829 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-way sequential transductions and stack automata
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Checking automata and one-way stack languages
@@ Property / cites work: Checking automata and one-way stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+One way finite visit automata
@@ Property / cites work: One way finite visit automata / rank @@
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+On two-way sequential transductions of full semi-AFL's
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+The Unsolvability of the Equivalence Problem for $\varepsilon $-Free NGSM’s with Unary Input (Output) Alphabet and Applications
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Absolutely parallel grammars and two-way finite-state transducers
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank
@@ Property / cites work @@
+Direct or cascade product of pushdown automata
@@ Property / cites work: Direct or cascade product of pushdown automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1256855