points by high_5 1 day ago | 0 comments
Yup, no regular expressions without his theory.
[–] crab2 17 hours ago
[–] jibalt 14 hours ago
grep was written by people who knew about regular languages and the Kleene star via Chomsky and via BNF used to describe Algol's syntax.
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.