points by crab2 17 hours ago | 0 comments
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.
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.
[–] jibalt 14 hours ago