Biografia Greibach, Sheila: Różnice pomiędzy wersjami
m Biografia Greibach moved to Biografia Greibach, Sheila |
Nie podano opisu zmian |
||
Linia 3: | Linia 3: | ||
'''Sheila Greibach (1939-)''' – informatyk amerykański. | '''Sheila Greibach (1939-)''' – informatyk amerykański. | ||
Greibach zajmuje się głównie językami formalnymi, automatami i teorią kompilatorów. Prowadzi również badania na szeroko-pojętym polu informatyki. Jej najbardziej znanym osiągnięciem jest stworzenie, w 1965 r., tzw. postaci normalnej dla gramatyki bezkontekstowej (tzw. „postaci normalnej Greibach”). Obecnie Greibach bada również automaty ze stosem oraz problematykę decyzyjną. | |||
Greibach skończyła studia na Radcliffe College w 1960 r. W 1963 r. doktoryzowała się w dziedzinie matematyki stosowanej na Harwardzie, gdzie dołączyła do grona akademickiego Instytutu Inżynierii i Fizyki Stosowanej. Obecnie jest profesorem informatyki na Uniwersytecie Kalifornia w Los Angeles. Pracowała z Seymourem Ginsburgiem i Michaelem Harrisonem nad kontekstową analizą składniową za pomocą modelu automatyzacji stosów. | |||
---- | |||
''Opracowanie: zespół wsparcia multimedialnego'' |
Wersja z 17:14, 16 gru 2006

Sheila Greibach (1939-) – informatyk amerykański.
Greibach zajmuje się głównie językami formalnymi, automatami i teorią kompilatorów. Prowadzi również badania na szeroko-pojętym polu informatyki. Jej najbardziej znanym osiągnięciem jest stworzenie, w 1965 r., tzw. postaci normalnej dla gramatyki bezkontekstowej (tzw. „postaci normalnej Greibach”). Obecnie Greibach bada również automaty ze stosem oraz problematykę decyzyjną.
Greibach skończyła studia na Radcliffe College w 1960 r. W 1963 r. doktoryzowała się w dziedzinie matematyki stosowanej na Harwardzie, gdzie dołączyła do grona akademickiego Instytutu Inżynierii i Fizyki Stosowanej. Obecnie jest profesorem informatyki na Uniwersytecie Kalifornia w Los Angeles. Pracowała z Seymourem Ginsburgiem i Michaelem Harrisonem nad kontekstową analizą składniową za pomocą modelu automatyzacji stosów.
Opracowanie: zespół wsparcia multimedialnego