It is named after the computer scientist Sheila Greibach, who first proved it in 1963.
این موضوع بعد از دانشمند کامپیوتر شیلا گریباخ، که اولین بار آن را در سال ۱۹۶۳ ثابت کرده بود، نام گذاری شد.