https://en.wikipedia.org/wiki/Sheila_Greibach
https://en.wikipedia.org/wiki/Greibach's_theorem#Applications