automata-computation
Articles
- Recognizable set
- Timed automatonMathematical model
- Factor oracle
- Synchronous circuitDigital circuit synchronized by clock signal
- Queue automatonComputation model, equivalent to Turing machines
- Recognizable set
- Semi-deterministic Büchi automaton
- Semi-deterministic Büchi automaton
- Recognizable set
- Generalized Büchi automaton
- State-transition tableTable in automata theory and sequential logic
- Automata theoryStudy of abstract machines and automata
- Richards controller
- Rational set
- Semi-deterministic Büchi automaton
- Constraint automaton
- Recognizable set
- Semi-deterministic Büchi automaton
- Recognizable set
- Timed automatonMathematical model
- Semi-deterministic Büchi automaton
- Asynchronous circuitDigital circuit without clock cycles
- Augmented transition network
- Pushdown automatonType of automaton
- Linear bounded automatonType of Turing machine