Pages that link to "Item:Q804302"
From MaRDI portal
The following pages link to The equivalence problem of multitape finite automata (Q804302):
Displaying 50 items.
- Another approach to the equivalence of measure-many one-way quantum finite automata and its application (Q439940) (← links)
- On synchronized multi-tape and multi-head automata (Q443740) (← links)
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- Solution of the generalized minimization problem for two-tape automata with one fixed tape (Q610515) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q671682) (← links)
- Equations over finite sets of words and equivalence problems in automata theory (Q685449) (← links)
- Synchronized rational relations of finite and infinite words (Q685453) (← links)
- Polynomial algorithm for equivalence problem of deterministic multitape finite automata (Q784484) (← links)
- The problem of equivalent transformations for homogeneous multitape automata (Q840024) (← links)
- On size reduction techniques for multitape automata (Q860868) (← links)
- Algorithm for establishing the equivalence of deterministic multitape automata (Q904421) (← links)
- Equivalence of two-dimensional multitape automata (Q946704) (← links)
- The equivalence problem of multidimensional multitape automata (Q955343) (← links)
- Weighted automata with discounting (Q963467) (← links)
- A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q1127336) (← links)
- On the decidability of the equivalence problem for partially commutative rational power series (Q1193904) (← links)
- Multiplicities: A deterministic view of nondeterminism (Q1194314) (← links)
- Synchronized tree automata (Q1325832) (← links)
- Some decisional problems on rational relations (Q1390853) (← links)
- On Lindenmayerian algebraic power series (Q1391140) (← links)
- On Lindenmayerian algebraic sequences (Q1391141) (← links)
- On D0L power series (Q1575708) (← links)
- \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
- Complete system of equivalent transformations for two-tape automata with disjoint loops (Q1592077) (← links)
- Modelization of deterministic rational relations (Q1603699) (← links)
- Reflections on the phenomenon of Aleksej Andreevich Lyapunov (Q1817095) (← links)
- Many aspects of defect theorems (Q1882912) (← links)
- Symmetries of knowledge bases (Q1926585) (← links)
- On the representation of finite deterministic 2-tape automata (Q1960654) (← links)
- On the equivalence problem of context-free and DT0L languages (Q1961239) (← links)
- Finite transducers and rational transductions (Q2074205) (← links)
- Weighted automata (Q2074206) (← links)
- Reversibility of computations in graph-walking automata (Q2216129) (← links)
- On decision problems for parameterized machines (Q2268878) (← links)
- The ``equal last letter'' predicate for words on infinite alphabets and classes of multitape automata (Q2271426) (← links)
- Automaton semigroup models of programs (Q2371659) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- THE VALIDITY OF WEIGHTED AUTOMATA (Q2842025) (← links)
- On Power Series over a Graded Monoid (Q2944878) (← links)
- Why We Need Semirings in Automata Theory (Extended Abstract) (Q2947145) (← links)
- Minimality and deadlockness of multitape automata (Q3184541) (← links)
- Highly Undecidable Problems For Infinite Computations (Q3625697) (← links)
- On the Decidability of the Equivalence Problem for Monadic Recursive Programs (Q4508638) (← links)
- Inclusion is undecidable for pattern languages (Q4630269) (← links)
- On morphically generated formal power series (Q4763925) (← links)
- A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q5055831) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- Rational and Recognisable Power Series (Q5072546) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q5096728) (← links)
- On Synchronized Multitape and Multihead Automata (Q5200091) (← links)
