Pages that link to "Item:Q1575547"
From MaRDI portal
The following pages link to Finite nondeterministic automata: simulation and minimality (Q1575547):
Displaying 25 items.
- On continuous nondeterminism and state minimality (Q283735) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- The best nondeterministic representations of finite orderings. (Q960524) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- Deterministic realizations of nondeterministic automata (Q1369617) (← links)
- Deterministic automata. Simulation, universality and minimality (Q1377610) (← links)
- Minimization algorithm of fuzzy finite automata. (Q1426248) (← links)
- Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences (Q1794961) (← links)
- Simulating finite automata with context-free grammars. (Q1853167) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Bisimulations and behaviour of nondeterministic automata (Q2708951) (← links)
- Optimal simulations between unary automata (Q2719119) (← links)
- Edge-minimization of non-deterministic finite automata (Q2761606) (← links)
- Cayley Automatic Groups and Numerical Characteristics of Turing Transducers (Q2817373) (← links)
- Decision Problems for Finite Automata over Infinite Algebraic Structures (Q2830202) (← links)
- Analogs of Fagin’s Theorem for Small Nondeterministic Finite Automata (Q3167496) (← links)
- NONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITY (Q3395129) (← links)
- (Q3838838) (← links)
- (Q4005202) (← links)
- More on Minimizing Finite Automata with Errors — Nondeterministic Machines (Q5268394) (← links)
- Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (Q5863634) (← links)
- A general architecture of oritatami systems for simulating arbitrary finite automata (Q5918272) (← links)