The following pages link to (Q5541339):
Displaying 50 items.
- Automata and rational expressions (Q2074204) (← links)
- Finite transducers and rational transductions (Q2074205) (← links)
- Descriptional complexity of regular languages (Q2074214) (← links)
- Černý's conjecture and the road colouring problem (Q2074216) (← links)
- Time-aware uniformization of winning strategies (Q2106605) (← links)
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders (Q2200645) (← links)
- Modeling of RNA secondary structures using two-way quantum finite automata (Q2201368) (← links)
- Reversibility of computations in graph-walking automata (Q2216129) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Removing nondeterminism in constant height pushdown automata (Q2252532) (← links)
- Oblivious two-way finite automata: decidability and complexity (Q2252534) (← links)
- The ``equal last letter'' predicate for words on infinite alphabets and classes of multitape automata (Q2271426) (← links)
- On the limits of the communication complexity technique for proving lower bounds on the size of minimal NFA's (Q2271436) (← links)
- Determination of finite automata accepting subregular languages (Q2271457) (← links)
- Natural strategic ability (Q2289013) (← links)
- On approximate enhanced covers under Hamming distance (Q2295626) (← links)
- Membrane automata for modeling biomolecular processes (Q2311302) (← links)
- Nondeterministic complexity in subclasses of convex languages (Q2319915) (← links)
- The partial clone of linear tree languages (Q2332072) (← links)
- On the boundary of regular languages (Q2344745) (← links)
- More on deterministic and nondeterministic finite cover automata (Q2357103) (← links)
- Equivalence in automata theory based on complete residuated lattice-valued logic (Q2372274) (← links)
- Comparing the size of NFAs with and without \(\epsilon\)-transitions (Q2373739) (← links)
- Factor theory and the unity of opposites (Q2374299) (← links)
- On the complexity of determinizing monitors (Q2399244) (← links)
- Boolean language operations on nondeterministic automata with a pushdown of constant height (Q2403237) (← links)
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
- Quasi-automatic semigroups (Q2422022) (← links)
- Pairs of complementary unary languages with ``balanced'' nondeterministic automata (Q2429361) (← links)
- A note on the emptiness problem for alternating finite-memory automata (Q2437765) (← links)
- Theory of átomata (Q2453119) (← links)
- Magic numbers in the state hierarchy of finite automata (Q2461796) (← links)
- Hybrid one-dimensional reversible cellular automata are regular (Q2462395) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- Automata theory and control theory - a rapprochement (Q2522559) (← links)
- Characterizing derivation trees of context-free grammars through a generalization of finite automata theory (Q2526960) (← links)
- Some definitional suggestions for automata theory (Q2529464) (← links)
- Maximin sequential chains (Q2531284) (← links)
- On a characterization of the nonregular set of primes (Q2534175) (← links)
- Referenced automata and metaregular families (Q2535534) (← links)
- Stimulus-response theory of inite automata (Q2535956) (← links)
- Regular expressions and the equivalence of programs (Q2536436) (← links)
- Maximin, Minimax, and composite sequential machines (Q2536526) (← links)
- Über einen Automaten mit Pufferspeicherung (Q2537131) (← links)
- Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen (Q2539044) (← links)
- Parallel program schemata (Q2540014) (← links)
- Writing pushdown acceptors (Q2540271) (← links)
- On the relevance of abstract algebra to control theory (Q2540643) (← links)
- REF-ARF: A system for solving problems stated as procedures (Q2541849) (← links)
- Sets recognized by n-tape automata (Q2542993) (← links)
