NPDA not registered on AutomataStat
Pro NPDA nefunguje zjišťování statistik s chybou: Callback for automaton::NPDA not registered on AutomataStat.
Pro NPDA nefunguje zjišťování statistik s chybou: Callback for automaton::NPDA not registered on AutomataStat.