Sheila Adele Greibach, née le à New York City), est une informaticienne théoricienne et chercheuse universitaire américaine, notamment en théorie des langages formels, théorie des automates, théorie de la compilation. Elle est professeur émérite en informatique à l'Université de Californie à Los Angeles.
Biographie professionnelle Sheila Greibach obtient un A. B. au Radcliffe College en Linguistique et Mathématiques appliquées avec la mention summa cum laude en 1960, et un A. M. en 1962 au même collège. En 1963, elle termine un Ph. D. à l'Université Harvard, sous la direction d'Anthony Oettinger.. Le titre de sa thèse est .
Jusqu'en 1969, elle travaille à Harvard, dans la Division of Engineering and Applied Physics.. Elle rejoint alors l'Université de Californie à Los Angeles, où elle est professeur depuis 1970.
Recherche Sheila Greibach a travaillé avec Seymour Ginsburg et Michael A. Harrison sur la théorie des langages formels, les grammaires formels, et les variétés de modèles d'automate à pile. Un de ses résultats les plus connus, établi en 1965, est la mise sous forme particulière des grammaires non contextuelles appelée la forme normale de Greibach.. Elle a aussi travaillé sur des problèmes de décision, les ou W-grammaires, les automates à pile, les langages algébriques déterministes., la complexité de reconnaissance.. Elle a eu comme élève notamment Ronald V. Book et Michael J. Fischer. Elle est auteur d'un livre sur la sémantique des langages de programmation., réédité en 2005 en livre électronique .
Articles liés Forme normale de Greibach Famille abstraite de langages
Notes et références
Liens externes
Catégorie:Naissance en octobre 1939 Catégorie:Professeur à l'université de Californie à Los Angeles Catégorie:Personnalité en informatique théorique Catégorie:Informaticienne américaine Catégorie:Étudiante du Radcliffe College Catégorie:Étudiant de l'université Harvard