Sheila Greibach
Sheila Greibach | |
|---|---|
| Born | October 6, 1939 |
| Alma mater | Radcliffe College Harvard University |
| Known for | Greibach normal form, Greibach's theorem |
| Scientific career | |
| Fields | Theoretical Computer Science Formal language in Computing Automata Computational Complexity Compiler Theory |
| Institutions | University of California, Los Angeles Harvard University |
| Doctoral advisor | Anthony Oettinger |
| Doctoral students | Ronald V. Book, Michael J. Fischer, Jean Gallier |
Sheila Adele Greibach (born 6 October 1939 in New York City) is an American researcher in formal languages in computing, automata, compiler theory and computer science. She is an Emeritus Professor of Computer Science at the University of California, Los Angeles, and notable work include working with Seymour Ginsburg and Michael A. Harrison in context-sensitive parsing using the stack automaton model.
Besides establishing the normal form (Greibach normal form) for context-free grammars, in 1965, she also investigated properties of W-grammars, pushdown automata, and decidability problems.