Deterministic and nondeterministic automatas, Turing machines etc.