Pages that link to "Automata theory"
Jump to navigation
Jump to search
The following pages link to Automata theory:
Displaying 36 items.
- Variety (cybernetics) (← links)
- DEVS (← links)
- Boundedly generated group (← links)
- Monadic second-order logic (← links)
- Avraham Trahtman (← links)
- Pebble automaton (← links)
- DFA minimization (← links)
- Formal grammar (← links)
- Transformation semigroup (← links)
- Reo Coordination Language (← links)
- Science and technology in Russia (← links)
- Nested word (← links)
- Ω-automaton (← links)
- Tree (automata theory) (← links)
- Generalized Büchi automaton (← links)
- Co-Büchi automaton (← links)
- Timed automaton (← links)
- Courcelle's theorem (← links)
- Noncommutative signal-flow graph (← links)
- Büchi arithmetic (← links)
- Recognizable set (← links)
- Rational set (← links)
- Weak Büchi automaton (← links)
- Suffix automaton (← links)
- Unambiguous finite automaton (← links)
- Self-verifying finite automaton (← links)
- Boolean differential calculus (← links)
- Signal (model checking) (← links)
- Signal automaton (← links)
- Alternating timed automaton (← links)
- Regular numerical predicate (← links)
- Cobham's theorem (← links)
- Tagged Deterministic Finite Automaton (← links)
- A Logical Calculus of the Ideas Immanent in Nervous Activity (← links)
- Word equation (← links)
- Testwiki:WikiProject Mathematics/Participants (← links)