Transducing reversibly with finite state machines (Q5919580): Difference between revisions

@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q5586334
@@ Property / cites work: Q5586334 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible space equals deterministic space
@@ Property / cites work: Reversible space equals deterministic space / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Way Reversible Multi-Head Finite Automata
@@ Property / cites work: Two-Way Reversible Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+One-way reversible multi-head finite automata
@@ Property / cites work: One-way reversible multi-head finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible pushdown automata
@@ Property / cites work: Reversible pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of Reversible Languages
@@ Property / cites work: Inference of Reversible Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Reversible Deterministic Finite Automata
@@ Property / cites work: Minimal Reversible Deterministic Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of translation
@@ Property / cites work: A general theory of translation / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic Stack Transducers
@@ Property / cites work: Deterministic Stack Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5747094
@@ Property / cites work: Q5747094 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Fast Reversible Turing Machines
@@ Property / cites work: A Hierarchy of Fast Reversible Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+On Reversible Transducers
@@ Property / cites work: On Reversible Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
+Normal rank
@@ Property / cites work @@
+Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
+Normal rank
@@ Property / cites work @@
+Synchronized rational relations of finite and infinite words
+Normal rank
@@ Property / cites work @@
+Multitape one-way nonwriting automata
@@ Property / cites work: Multitape one-way nonwriting automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Polynomial Time Algorithm for Deciding the Equivalence Problem for 2-Tape Deterministic Finite State Acceptors
+Normal rank
@@ Property / cites work @@
+Two-way counter machines and finite-state transducers†
+Normal rank
@@ Property / cites work @@
+On the containment and equivalence problems for two-way transducers
+Normal rank
@@ Property / cites work @@
+Descriptional and computational complexity of finite automata -- a survey
+Normal rank
@@ Property / cites work @@
+Q5313783
@@ Property / cites work: Q5313783 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on finite-valued and finitely ambiguous transducers
+Normal rank
@@ Property / cites work @@
+On locally reversible languages
@@ Property / cites work: On locally reversible languages / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Reversibility for DFA and DPDA
@@ Property / cites work: Degrees of Reversibility for DFA and DPDA / rank @@
+Normal rank
@@ Property / cites work @@
+Q5016365
@@ Property / cites work: Q5016365 / rank @@
+Normal rank