Sheila Greibach

Sheila Adele Greibach (born 1939 in New York City) is an American computer scientist known for her work on formal languages, automata and compiler theory. She earned her bachelor's degree in linguistics and applied mathematics at Radcliffe College in 1960 and her doctorate at Harvard University in 1963 under Anthony Oettinger, worked at Harvard until 1969 and then moved to the University of California, Los Angeles, where she became a professor and is now emeritus. In 1965 she established the Greibach normal form for context-free grammars, and she also investigated W-grammars, pushdown automata and decidability problems, working with Seymour Ginsburg, Michael Harrison and others on stack automata and abstract families of languages. Her students included Ronald Book and Michael Fischer.