Update PDF; Fix Syntaktického stromu
Delay automat v DOTu
Příklad s LTL do výrokové logiky