Введение

Американский учёный-компьютерщик Шейла Адель Грейбах (родилась 6 октября 1939 года в Нью-Йорке) — американский исследователь в области формальных языков, автоматов, теории компиляторов и информатики. Она является профессором компьютерных наук в отставке Калифорнийского университета в Лос-Анджелесе, а её значимые работы включают сотрудничество с Сеймуром Гинзбургом и Майклом А. Харрисоном в области контекстно-зависимого синтаксического анализа с использованием модели стекового автомата. Помимо разработки нормальной формы (нормальной формы Грейбаха) для контекстно-свободных грамматик в 1965 году, она также исследовала свойства грамматик W, автоматов с магазинной памятью и задач разрешимости.

Начало карьеры

Грейбах получила степень бакалавра (с отличием) по лингвистике и прикладной математике в колледже Рэдклифф в 1960 году, а два года спустя – степень магистра. В 1963 году она защитила диссертацию на соискание степени доктора философии в Гарвардском университете под руководством Энтони Эттингера, тема диссертации – «Инверсии генераторов фразовой структуры». Она продолжала работать в Гарварде в отделении инженерной и прикладной физики до 1969 года, после чего перешла в Калифорнийский университет в Лос-Анджелесе, где работает профессором по настоящее время (по состоянию на март 2014 года).

Работа и взносы

Среди её учеников были Рональд В. Бук и Майкл Дж. Фишер. Приведенный ниже список содержит некоторые из её работ. Верхняя часть списка взята из Цифровой библиотеки ACM, а остальная — из библиографии FOCS, составленной Дэвидом М. Джонсом.

Из библиографии FOCS

Сеймур Гинзбург и Шейла Грейбах. Детерминированные языки, свободные от контекста. В материалах Шестого ежегодного симпозиума по теории коммутационных схем и логическому проектированию, страницы 203–220. IEEE, 1965. Сеймур Гинзбург, Шейла А. Грейбах и Майкл А. Харрисон. Автоматы с односторонним стеком (расширенный тезис). В материалах конференции 1966 года, Седьмого ежегодного симпозиума по теории коммутации и автоматов, страницы 47–52, Беркли, Калифорния, 26–28 октября 1966 года. IEEE. Шейла А. Грейбах. Бесконечная иерархия языков, свободных от контекста. В материалах конференции 1967 года, Восьмого ежегодного симпозиума по теории коммутации и автоматов, страницы 32–36, Остин, Техас, 18–20 октября 1967 года. IEEE. Сеймур Гинзбург и Шейла Грейбах. Абстрактные семейства языков. В материалах конференции 1967 года, Восьмого ежегодного симпозиума по теории коммутации и автоматов, страницы 128–139, Остин, Техас, 18–20 октября 1967 года. IEEE. Список литературы. Шейла Грейбах. Проверочные автоматы и языки с односторонним стеком (расширенный тезис). В материалах конференции 1968 года, Девятого ежегодного симпозиума по теории коммутации и автоматов, страницы 287–291, Шенектади, Нью-Йорк, 15–18 октября 1968 года. IEEE. Список литературы. Шейла А. Грейбах. Полные AFL и вложенные итеративные подстановки. В материалах конференции 1969 года, Десятого ежегодного симпозиума по теории коммутации и автоматов, страницы 222–230, Ватерлоо, Онтарио, Канада, 15–17 октября 1969 года. IEEE. Дж. У. Карлайл, С. А. Грейбах и А. Паз. Двумерная генерирующая система, моделирующая рост посредством бинарного деления клеток (предварительный отчет). В материалах 15-го ежегодного симпозиума по теории коммутации и автоматов, страницы 1–12, Университет Нового Орлеана, 14–16 октября 1974 года. IEEE. С. А. Грейбах. Формальные языки: происхождение и направления. В материалах 20-го ежегодного симпозиума по основам компьютерных наук, страницы 66–90, Сан-Хуан, Пуэрто-Рико, 29–31 октября 1979 года. IEEE.

Другие

Рональд Бук, Шимон Ивен, Шейла Грейбах и Джин Отт. Неоднозначность в графах и выражениях. IEEE Transactions on Computers, vol. C-20, № 2, февраль 1971 г. IEEE.