Abstraction

Principle of universality

Interpreter

Universal Turing machine

Power of a Turing machine

Equivalent Turing machine

Turing machine

Finite state automation

Moore machine

Mealy machine

Halting state

Non-deterministic finite state machine

Deterministic finite state machine

Transition table

transition function

Finite state machine