Narození |
6. října 1939 New York City , New York , Spojené státy |
---|---|
Státní příslušnost | americký |
Oblasti | Teoretická informatika , teorie jazyka , automatů , Složitost teorie , teorie Compilation |
Instituce | Kalifornská univerzita v Los Angeles |
Diplom | Ph. D. |
Výcvik | Radcliffe College , Harvard University |
Dozorce | Anthony Oettinger |
Studenti PhD | Ronald V. Book, Michael J. Fischer, Jean Henri Gallier, Steven Lindell, Jose Rolim, Detlef Wotschke |
Známý pro | Normální forma Greibacha , „ nejtvrdší jazyk “ |
Sheila Adele Greibach , narozená dne6. října 1939New York City), je počítačový vědec teoretik a vědecký pracovník Američan , zejména v teorii formálních jazyků , teorie automatů , teorie kompilace . Je emeritní profesorkou informatiky na Kalifornské univerzitě v Los Angeles .
Sheila Greibach získala titul AB na Radcliffe College v lingvistice a aplikované matematice s vyznamenáním summa cum laude v roce 1960 a AM v roce 1962 na stejné vysoké škole. V roce 1963 dokončila doktorát na Harvardské univerzitě pod vedením Anthonyho Oettingera . Název jeho práce je „ Inverze generátorů frázových struktur “ .
Do roku 1969 pracovala na Harvardu v divizi inženýrství a aplikované fyziky . Poté nastoupila na Kalifornskou univerzitu v Los Angeles , kde je profesorkou od roku 1970.
Sheila Greibach spolupracovala se Seymourem Ginsburgem a Michaelem A. Harrisonem na formální jazykové teorii, formálních gramatikách a varietách modelů automatů s posunem dolů . Jedním z jeho nejznámějších výsledků z roku 1965 je speciální formátování bezkontextových gramatik nazývané Greibachova normální forma . Pracovala také na problémech s rozhodováním, Van Wijngaarden (en) nebo W-gramatiky, push-down automaty, deterministické algebraické jazyky , složitost rozpoznávání. Jako student měla zejména Ronalda V. Booka a Michaela J. Fischera. Je autorkou knihy o sémantice programovacích jazyků, vydané v roce 2005 jako elektronická kniha ( ( ISBN 978-3-540-37942-3 ) ).