====== Název předmětu ======

{{:courses:a4m33pal:zadani-2013-01-03.pdf|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.

~~DISCUSSION~~