The following pages link to (Q3954784):
Displaying 11 items.
- Fuzzy acceptors for syntactic pattern recognition (Q809615) (← links)
- On the decidability of equivalence for deterministic pushdown transducers (Q1158772) (← links)
- Physics of selective systems: Computation and biology (Q1164422) (← links)
- Equivalence, reduction and minimization of finite automata over semirings (Q1177166) (← links)
- Minimum-complexity pairing functions (Q1201876) (← links)
- The end of pumping (Q1270537) (← links)
- Transformations of one-dimensional cellular automaton rules by translation-invariant local surjective mappings (Q1315987) (← links)
- Imperative-program transformation by instrumented-interpreter specialization (Q2271898) (← links)
- On the Formalization of Some Results of Context-Free Language Theory (Q2820703) (← links)
- The connection between the fundamental groupoid and a unification algorithm for syntactic algebras (Extended abstract) (Q3994022) (← links)
- Two-way automata and length-preserving homomorphisms (Q4879206) (← links)