1-way stack automaton with jumps (Q1217778): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Computation by n-Dimensional Iterative Arrays of Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Deterministic Pushdown Store Machines and Real-Time Computation
+Normal rank
@@ Property / cites work @@
+Stack automata and compiling
@@ Property / cites work: Stack automata and compiling / rank @@
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic stack automata and the quotient operator
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Intercalation theorems for stack languages
@@ Property / cites work: Intercalation theorems for stack languages / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1217778