3 ms·

Or automata theory and turing machines, for that matter.

• Turing_Machine 13y ago
  Probably both Turing machines and lambda calculus, just to see it from both sides of the coin.