Кіріспе
Американдық компьютер ғалымы Шила Адель Грейбах (6 қазан 1939 жылы Нью-Йорк қаласында туған) – формальды тілдер, автоматтар, компиляторлар теориясы және компьютерлік ғылым саласындағы американдық зерттеуші. Қазіргі таңдағы Лос-Анджелес штатындағы Калифорния университетінің компьютерлік ғылымдарының зейнеткер профессор. Оның еңбектері Сеймур Гинзбург және Майкл А. Харрисонмен бірлесіп стек автоматтары моделін қолдана отырып, контекстке сезімтал синтаксистік талдауды жүзеге асыруды қамтиды. 1965 жылы контексттен тыс грамматикалар үшін қалыпты форманы (Грейбах қалыпты формасы) белгілегеннен басқа, ол W грамматикаларының қасиеттерін, төмен түсетін автоматтарды және шешілетін мәселелерді де зерттеді.
Sheila Adele Greibach (born 6 October 1939 in New York City) is an American 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.
Ерте мансап
Грейбах 1960 жылы Радклифф колледжінде лингвистика және қолданбалы математика мамандығы бойынша бакалавр дәрежесін (summa cum laude) алды, екі жылдан кейін магистр дәрежесін алды. 1963 жылы Гарвард университетінде Энтони Эттингердің жетекшілігімен «Фразалық құрылым генераторларының кері шамалары» тақырыбында докторлық диссертациясын қорғап, PhD дәрежесін алды. Ол 1969 жылға дейін Гарвардтағы Инженерлік және қолданбалы физика бөлімінде жұмыс істеді, содан кейін UCLA-ға көшті, онда қазірге дейін (2014 жылдың наурызына дейін) профессор болып жұмыс істеп келеді.
Жұмыстар мен үлестер
Оның студенттерінің арасында Рональд В. Бук және Майкл Дж. Фишер болды. Төменде оның еңбектерінің бір бөлігі келтірілген. Тізімнің жоғарғы жағы ACM Digital Library-ден, ал қалғаны Дэвид М. Джонстың FOCS библиографиясынан алынған.
FOCS кітапханасынан
Сеймур Гинзбург пен Шила Грейбах. Детерминистік контекстке байланысты еркін тілдер. Коммутациялық схемалар теориясы және логикалық жобалау жөніндегі алтыншы жылдық симпозиум материалдарында, 203–220 беттер. IEEE, 1965 жыл. Сеймур Гинзбург, Шила А. Грейбах және Майкл А. Харрисон. Бір бағытты стек автоматтары (кеңейтілген тезис). 1966 жылғы коммутациялау және автоматтар теориясы жөніндегі жетінші жылдық симпозиум конференциясының материалдарында, 47–52 беттер, Беркли, Калифорния, 1966 жылдың 26–28 қазаны. IEEE. Шила А. Грейбах. Контекстке байланысты еркін тілдердің шексіз иерархиясы. 1967 жылғы сегізінші жылдық коммутациялау және автоматтар теориясы жөніндегі симпозиум конференциясының материалдарында, 32–36 беттер, Остин, Техас, 1967 жылдың 18–20 қазаны. IEEE. Сеймур Гинзбург пен Шила Грейбах. Тілдердің абстрактілі отбасылары. 1967 жылғы сегізінші жылдық коммутациялау және автоматтар теориясы жөніндегі симпозиум конференциясының материалдарында, 128–139 беттер, Остин, Техас, 1967 жылдың 18–20 қазаны. IEEE. Сілтемелер. Шила Грейбах. Автоматтарды тексеру және бір бағытты стек тілдері (кеңейтілген тезис). 1968 жылғы коммутациялау және автоматтар теориясы жөніндегі тоғызыншы жылдық симпозиум конференциясының материалдарында, 287–291 беттер, Шенектади, Нью-Йорк, 1968 жылдың 15–18 қазаны. IEEE. Сілтемелер. Шила А. Грейбах. Толық AFL және ұялы қайталанатын алмастыру. 1969 жылғы оныншы жылдық коммутациялау және автоматтар теориясы жөніндегі симпозиум конференциясының материалдарында, 222–230 беттер, Ватерлоо, Онтарио, Канада, 1969 жылдың 15–17 қазаны. IEEE. Дж. В. Карлайл, С. А. Грейбах және А. Паз. Екі өлшемді генерациялық жүйе, клетканың екілік бөлінуі арқылы өсуді модельдеу (алдын ала хабарлама). Коммутациялау және автоматтар теориясы жөніндегі он бесінші жылдық симпозиумда, 1–12 беттер, Нью-Орлеан университеті, 1974 жылдың 14–16 қазаны. IEEE. С. А. Грейбах. Формальді тілдер: бастауы және бағыттары. Компьютер ғылымының негіздері жөніндегі жиырмасыншы жылдық симпозиумда, 66–90 беттер, Сан-Хуан, Пуэрто-Рико, 1979 жылдың 29–31 қазаны. IEEE.
Басқалар
Рональд Бук, Шимон Ивен, Шила Грейбах және Джин Отт. Графиктер мен өрнектердегі беймаздық. IEEE Transactions on Computers, 20-том, № 2, 1971 жылғы ақпан. IEEE.