finite State automata

Turing Machine Alternative (Counter Machines) - Computerphile

Computerphile

A model of computation without memory, compared to counter machines which have memory via counters.