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