Sheila Greibach (original) (raw)
Sheila Adele Greibach, née le 6 octobre 1939 à 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.
| Property | Value |
|---|---|
| dbo:abstract | Sheila Adele Greibach (* 6. Oktober 1939 in New York City) ist eine Mathematikerin und arbeitet hauptsächlich in der theoretischen Informatik. Nach ihr ist die Greibach-Normalform benannt. Im Jahr 1960 erwarb sie ihren A.B. degree vom Radcliffe College (das ist eine Art Bachelor) in Linguistik und angewandter Mathematik mit summa cum laude und erhielt im Jahr 1962 dort den A.M. degree (Master). Sheila Greibach promovierte im Jahr 1963 zum Ph.D. in angewandter Mathematik an der Harvard University bei . Sie arbeitete an der Harvard University in der Abteilung Division of Engineering and Applied Physics und wechselte im Jahr 1969 zur University of California in Los Angeles (UCLA) und arbeitet dort seit 1970 im Computer Science Department als Professorin. Sie hat eine große Zahl von Arbeiten über Komplexitätstheorie, Semantik, Formale Sprachen, Automatentheorie und Berechenbarkeitstheorie publiziert. Sie arbeitete sehr viel mit Seymour Ginsburg und Michael A. Harrison zusammen, insbesondere auf den Gebieten Parsing und kontextsensitive Sprachen. Zu ihren Schülern gehören Ronald V. Book und . (de) Sheila Adele Greibach, née le 6 octobre 1939 à 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. (fr) Sheila Adele Greibach (born 6 October 1939 in New York City) is a 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. (en) Sheila Greibach (ur. 1939) – amerykańska informatyczka. Specjalizuje się w językach formalnych, automatach, , automatach ze stosem oraz problematyką decyzyjną. W 1965 r. stworzyła postać normalną dla gramatyki bezkontekstowej (postać normalna Greibach). Razem z i pracowała nad kontekstową analizą składniową za pomocą modelu automatyzacji stosów. W 1963 r. została absolwentką Radcliffe College. Następnie zdobyła doktorat w dziedzinie matematyki stosowanej na Uniwersytecie Harvarda, gdzie rozpoczęła pracę w Instytucie Inżynierii i Fizyki Stosowanej. Pracuje jako profesor informatyki na Uniwersytecie Kalifornijskim w Los Angeles. (pl) Sheila Greibach, född 6 oktober 1939 i New York i New York i USA, är en amerikansk professor emeritus i datavetenskap vid University of California, Los Angeles. Hon jobbade med och inom med hjälp av . Hon undersökte egenskaperna hos , stackautomater och beslutsproblem. (sv) Sheila Adele Greibach (Nova Iorque, 6 de outubro de 1939) é uma matemática estadunidense, que trabalha principalmente com ciência da computação teórica. A forma normal de Greibach leva seu nome. Sheila Greibach obteve um Ph.D. em matemática aplicada na Universidade Harvard em 1963, orientada por , com a tese Inverses of Phrase Structure Generators. Em 1969 foi para a Universidade da Califórnia em Los Angeles (UCLA), onde é desde 1970 professora do Computer Science Department. Dentre seus alunos consta , Michael John Fischer e . (pt) |
| dbo:academicDiscipline | dbr:Compiler dbr:Computational_complexity_theory dbr:Theoretical_computer_science dbr:Formal_language dbr:Automata |
| dbo:almaMater | dbr:Harvard_University dbr:Radcliffe_College |
| dbo:birthDate | 1939-10-06 (xsd:date) |
| dbo:birthPlace | dbr:United_States dbr:New_York_(state) dbr:New_York_City |
| dbo:doctoralAdvisor | dbr:Anthony_Oettinger |
| dbo:doctoralStudent | dbr:Ronald_V._Book dbr:Michael_J._Fischer dbr:Jean_Gallier |
| dbo:knownFor | dbr:Greibach's_theorem dbr:Greibach_normal_form |
| dbo:residence | dbr:California dbr:United_States |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20040404040851/http:/theory.lcs.mit.edu/~dmjones/FOCS/ http://www.acm.org/dl https://samueli.ucla.edu/people/sheila-greibach/ |
| dbo:wikiPageID | 532678 (xsd:integer) |
| dbo:wikiPageLength | 10951 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1057214299 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:California dbr:Pushdown_automaton dbr:Ronald_V._Book dbr:Applied_mathematics dbr:United_States dbr:University_of_California,_Los_Angeles dbr:Deterministic_context-free_language dbc:21st-century_American_women dbc:Living_people dbr:Compiler dbr:Computer_Science dbr:Context-free_grammar dbr:Context-sensitive_grammar dbr:Symposium_on_Switching_Circuit_Theory_and_Logical_Design dbr:Symposium_on_Switching_and_Automata_Theory dbr:Anthony_Oettinger dbr:Stack_automaton dbr:Computational_complexity_theory dbr:Computer_science dbr:Theoretical_computer_science dbr:Michael_A._Harrison dbc:1939_births dbc:American_computer_scientists dbc:American_women_computer_scientists dbc:Radcliffe_College_alumni dbc:University_of_California,_Los_Angeles_faculty dbc:Theoretical_computer_scientists dbr:UCLA dbr:Linguistics dbr:ALGOL_68 dbr:Formal_language dbr:Journal_of_the_ACM dbr:Michael_J._Fischer dbr:Harvard_University dbr:Jean_Gallier dbr:Abstract_family_of_acceptors dbr:Summa_cum_laude dbr:Greibach's_theorem dbr:Greibach_normal_form dbr:Pushdown_automata dbr:New_York_(state) dbr:New_York_City dbr:Automata dbr:Radcliffe_College dbr:Seymour_Ginsburg dbr:Turing_machine dbr:Natural_language dbr:Syntax-directed_translation dbr:Symposium_on_Foundations_of_Computer_Science dbr:University_of_California_in_Los_Angeles dbr:Decidability_problems dbr:W-grammar dbr:Generalized_sequential_machine dbr:One-counter_language |
| dbp:almaMater | dbr:Radcliffe_College Harvard University (en) |
| dbp:birthDate | 1939-10-06 (xsd:date) |
| dbp:birthPlace | dbr:United_States dbr:New_York_(state) dbr:New_York_City |
| dbp:doctoralAdvisor | dbr:Anthony_Oettinger |
| dbp:doctoralStudents | dbr:Ronald_V._Book dbr:Michael_J._Fischer dbr:Jean_Gallier |
| dbp:field | dbr:Theoretical_computer_science dbr:Automata Computational Complexity (en) Compiler Theory (en) Formal language in Computing (en) |
| dbp:knownFor | dbr:Greibach's_theorem dbr:Greibach_normal_form |
| dbp:name | Sheila Greibach (en) |
| dbp:residence | dbr:California dbr:United_States |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:BLP_sources dbt:Citation_style dbt:Clarify dbt:Multiple_issues dbt:Reflist dbt:Short_description dbt:Birth_date_and_age dbt:Like_resume dbt:Infobox_scientist |
| dbp:workInstitution | dbr:University_of_California,_Los_Angeles dbr:Harvard_University |
| dct:subject | dbc:21st-century_American_women dbc:Living_people dbc:1939_births dbc:American_computer_scientists dbc:American_women_computer_scientists dbc:Radcliffe_College_alumni dbc:University_of_California,_Los_Angeles_faculty dbc:Theoretical_computer_scientists |
| gold:hypernym | dbr:Researcher |
| schema:sameAs | http://viaf.org/viaf/64546862 |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanComputerScientists yago:WikicatAmericanPeople dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatComputerScientists schema:Person yago:WikicatLivingPeople yago:WikicatTheoreticalComputerScientists yago:WikicatWomen yago:WikicatWomenComputerScientists yago:WikicatWomenInTechnology wikidata:Q901 yago:Adult109605289 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Female109619168 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Woman110787470 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 |
| rdfs:comment | Sheila Adele Greibach, née le 6 octobre 1939 à 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. (fr) Sheila Adele Greibach (born 6 October 1939 in New York City) is a 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. (en) Sheila Greibach, född 6 oktober 1939 i New York i New York i USA, är en amerikansk professor emeritus i datavetenskap vid University of California, Los Angeles. Hon jobbade med och inom med hjälp av . Hon undersökte egenskaperna hos , stackautomater och beslutsproblem. (sv) Sheila Adele Greibach (Nova Iorque, 6 de outubro de 1939) é uma matemática estadunidense, que trabalha principalmente com ciência da computação teórica. A forma normal de Greibach leva seu nome. Sheila Greibach obteve um Ph.D. em matemática aplicada na Universidade Harvard em 1963, orientada por , com a tese Inverses of Phrase Structure Generators. Em 1969 foi para a Universidade da Califórnia em Los Angeles (UCLA), onde é desde 1970 professora do Computer Science Department. Dentre seus alunos consta , Michael John Fischer e . (pt) Sheila Adele Greibach (* 6. Oktober 1939 in New York City) ist eine Mathematikerin und arbeitet hauptsächlich in der theoretischen Informatik. Nach ihr ist die Greibach-Normalform benannt. Im Jahr 1960 erwarb sie ihren A.B. degree vom Radcliffe College (das ist eine Art Bachelor) in Linguistik und angewandter Mathematik mit summa cum laude und erhielt im Jahr 1962 dort den A.M. degree (Master). Sie hat eine große Zahl von Arbeiten über Komplexitätstheorie, Semantik, Formale Sprachen, Automatentheorie und Berechenbarkeitstheorie publiziert. Zu ihren Schülern gehören Ronald V. Book und . (de) Sheila Greibach (ur. 1939) – amerykańska informatyczka. Specjalizuje się w językach formalnych, automatach, , automatach ze stosem oraz problematyką decyzyjną. W 1965 r. stworzyła postać normalną dla gramatyki bezkontekstowej (postać normalna Greibach). Razem z i pracowała nad kontekstową analizą składniową za pomocą modelu automatyzacji stosów. (pl) |
| rdfs:label | Sheila A. Greibach (de) Sheila A. Greibach (fr) Sheila Greibach (pt) Sheila Greibach (pl) Sheila Greibach (en) Sheila Greibach (sv) |
| owl:sameAs | freebase:Sheila Greibach yago-res:Sheila Greibach http://d-nb.info/gnd/108337642 http://viaf.org/viaf/64546862 https://dblp.org/pid/g/SheilaAGreibach wikidata:Sheila Greibach http://data.bibliotheken.nl/id/thes/p12135220X http://arz.dbpedia.org/resource/شيلا_جريباتش dbpedia-de:Sheila Greibach dbpedia-fa:Sheila Greibach dbpedia-fr:Sheila Greibach dbpedia-he:Sheila Greibach dbpedia-hu:Sheila Greibach dbpedia-pl:Sheila Greibach dbpedia-pt:Sheila Greibach dbpedia-sv:Sheila Greibach https://global.dbpedia.org/id/Cowh |
| prov:wasDerivedFrom | wikipedia-en:Sheila_Greibach?oldid=1057214299&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Sheila_Greibach |
| foaf:name | Sheila Greibach (en) |
| is dbo:doctoralAdvisor of | dbr:Ronald_V._Book |
| is dbo:wikiPageDisambiguates of | dbr:Sheila |
| is dbo:wikiPageWikiLink of | dbr:Proof_of_impossibility dbr:Ronald_V._Book dbr:List_of_computer_scientists dbr:List_of_University_of_California,_Los_Angeles_people dbr:Index_of_women_scientists_articles dbr:Indexed_grammar dbr:Indexed_language dbr:October_6 dbr:List_of_programming_language_researchers dbr:Michael_A._Harrison dbr:Michael_J._Fischer dbr:Jean_Gallier dbr:UCLA_Henry_Samueli_School_of_Engineering_and_Applied_Science dbr:Abstract_family_of_acceptors dbr:Abstract_family_of_languages dbr:Greibach's_theorem dbr:Greibach_normal_form dbr:Seymour_Ginsburg dbr:Sheila |
| is dbp:doctoralAdvisor of | dbr:Ronald_V._Book |
| is foaf:primaryTopic of | wikipedia-en:Sheila_Greibach |