AG AF start AG EF zelen AG (si -> AXAG(si -> AXAG(not)si)) all globaly exists finaly next state prijelaz moore kripke ~John Cheby Won vs. John the great futility SijakovicPost je objavljen 22.03.2005. u 17:30 sati.