převod mezi CFG a PDA (tam i zpátky)
uzavřenost regulárních jazyků na homomorfismus a inverzní homomorfismus (včetně důkazu)
