Comment by crab2

False, we owe them to Kleene, 1956.

A formal theory of finite automatons, both deterministic and non-deterministic, is due to Michael Rabin & Dana Scott, for which they received a Turing prize. 1959.