The following pages link to (Q4306359):
Displaying 9 items.
- The universal fuzzy automaton (Q279373) (← links)
- Finite automata theory with membership values in lattices (Q632699) (← links)
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids (Q812560) (← links)
- Algebraic properties on the cuts of lattice-valued regular languages (Q937264) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- Minimization of lattice finite automata and its application to the decomposition of lattice languages (Q2372275) (← links)
- The category of supercontinuous posets (Q2493006) (← links)
- On quotients of formal power series (Q2672254) (← links)
- Weak Second‐Order Arithmetic and Finite Automata (Q3287248) (← links)