Sheila Greibach , científica informática y académica estadounidense

Sheila Adele Greibach (nacida el 6 de octubre de 1939 en la ciudad de Nueva York) es investigadora de lenguajes formales en informática, autómatas, teoría de compiladores e informática. Es profesora emérita de Ciencias de la Computación en la Universidad de California, Los Ángeles, y su trabajo notable incluye trabajar con Seymour Ginsburg y Michael A. Harrison en el análisis sintáctico sensible al contexto utilizando el modelo de autómata de pila.

Además de establecer la forma normal (forma normal de Greibach) para las gramáticas libres de contexto, en 1965 también investigó las propiedades

de gramáticas W, autómatas pushdown y problemas de decidibilidad.