Zadání
Možný nástin řešení: Pomocí Tarjana (či jen DFS, možná stačí porovnat, zda |E| = |V| - 1) zjistit, zda graf obsahuje cyklus. Pokud ano, pak se jedná o nekonečný jazyk.