Aniversário |
6 de outubro de 1939 Nova York , Nova York , Estados Unidos |
---|---|
Nacionalidade | americano |
Áreas | Ciência da computação teórica , teoria da linguagem , autômatos , teoria da complexidade , teoria da compilação |
Instituições | Universidade da Califórnia em Los Angeles |
Diploma | Ph. D. |
Treinamento | Radcliffe College , Harvard University |
Supervisor | Anthony Oettinger |
Alunos de doutorado | Ronald V. Book, Michael J. Fischer, Jean Henri Gallier, Steven Lindell, Jose Rolim, Detlef Wotschke |
Reconhecido por | Forma normal de Greibach , " linguagem mais difícil " |
Sheila Adele Greibach , nascida em6 de outubro de 1939New York City), é um cientista da computação, teórico e pesquisador americano , especialmente na teoria das linguagens formais , teoria dos autômatos , teoria da compilação . Ela é professora emérita de ciência da computação na Universidade da Califórnia, em Los Angeles .
Sheila Greibach obteve um AB no Radcliffe College em Linguística e Matemática Aplicada com as honras summa cum laude em 1960, e um AM em 1962 na mesma faculdade. Em 1963, ela concluiu o doutorado na Universidade de Harvard , sob a supervisão de Anthony Oettinger . O título de sua tese é “ Inversos de Geradores de Estrutura Frase ” .
Até 1969, trabalhou em Harvard, na Divisão de Engenharia e Física Aplicada . Ela então ingressou na Universidade da Califórnia em Los Angeles , onde é professora desde 1970.
Sheila Greibach trabalhou com Seymour Ginsburg e Michael A. Harrison na teoria da linguagem formal, gramáticas formais e variedades de modelos de autômato pushdown . Um de seus resultados mais conhecidos, estabelecido em 1965, é a formatação particular de gramáticas não contextuais, chamada de forma normal de Greibach . Ela também trabalhou em problemas de decisão, as gramáticas de Van Wijngaarden (in) ou gramáticas W, autômatos celulares, linguagens algébricas determinísticas , a complexidade do reconhecimento. Ela teve como alunos principalmente Ronald V. Book e Michael J. Fischer. É autora de um livro sobre a semântica das linguagens de programação, republicado em 2005 como livro eletrônico ( ( ISBN 978-3-540-37942-3 ) ).