#turing machine #algorithm #computability #finite automata #logic #theoretical computer science #state machine