American computer scientist known for her work in formal languages in computing, automata and compiler theory.
Δ