Co-Büchi automaton
general/finite-state-machines
Nondeterministic finite automaton
Type of finite-state machine in automata theory
general/finite-state-machines
Ω-automaton
Variation of a finite automaton that runs on infinite input
general/finite-state-machines
Finite-state machine
Mathematical model of computation
general/finite-state-machines
Muller automaton
general/finite-state-machines
Deterministic finite automaton
Finite-state machine
general/finite-state-machines
Powerset construction
Method for making finite automata deterministic
general/finite-state-machines
Thompson's construction
Algorithm to transform a regular expression into a finite automaton
general/finite-state-machines
Co-Büchi automaton
general/finite-state-machines
Nondeterministic finite automaton
Type of finite-state machine in automata theory
general/finite-state-machines
Ω-automaton
Variation of a finite automaton that runs on infinite input
general/finite-state-machines
Two-way finite automaton
Type of finite automaton in automata theory
general/finite-state-machines
Deterministic finite automaton
Finite-state machine
general/finite-state-machines
Deterministic finite automaton
Finite-state machine
general/finite-state-machines
Moore machine
Finite-state machine whose output values are determined only by its current state
general/finite-state-machines
Co-Büchi automaton
general/finite-state-machines
Nondeterministic finite automaton
Type of finite-state machine in automata theory
general/finite-state-machines
Muller automaton
general/finite-state-machines
Ω-automaton
Variation of a finite automaton that runs on infinite input
general/finite-state-machines
Alternating finite automaton
general/finite-state-machines
Muller automaton
general/finite-state-machines
Mealy machine
Machine whose output is determined by its state and inputs
general/finite-state-machines
DFA minimization
Task of transforming a deterministic finite automaton
general/finite-state-machines
Nondeterministic finite automaton
Type of finite-state machine in automata theory
general/finite-state-machines
Co-Büchi automaton
general/finite-state-machines
Two-way finite automaton
Type of finite automaton in automata theory
general/finite-state-machines
Muller automaton
general/finite-state-machines
Ω-automaton
Variation of a finite automaton that runs on infinite input
general/finite-state-machines
Deterministic finite automaton
Finite-state machine
general/finite-state-machines
Muller automaton
general/finite-state-machines
Co-Büchi automaton
general/finite-state-machines
Nondeterministic finite automaton
Type of finite-state machine in automata theory
general/finite-state-machines
Deterministic finite automaton
Finite-state machine
general/finite-state-machines
Two-way finite automaton
Type of finite automaton in automata theory
general/finite-state-machines
Ω-automaton
Variation of a finite automaton that runs on infinite input
general/finite-state-machines
Finite-state machine
Mathematical model of computation
general/finite-state-machines
Finite-state machine
Mathematical model of computation
general/finite-state-machines
Finite-state machine
Mathematical model of computation
general/finite-state-machines
Finite-state machine
Mathematical model of computation
general/finite-state-machines
Probabilistic automaton
general/finite-state-machines
Finite-state transducer
Finite state machine with two tapes (input, output)
general/finite-state-machines