Slacker News Slacker News logo featuring a lazy sloth with a folded newspaper hat
  • top
  • new
  • show
  • ask
  • jobs
Library
← Back to context

Comment by high_5

9 hours ago

Yup, no regular expressions without his theory.

1 comment

high_5

Reply

crab2  1 hour ago

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.

Slacker News

Product

  • API Reference
  • Hacker News RSS
  • Source on GitHub

Community

  • Support Ukraine
  • Equal Justice Initiative
  • GiveWell Charities