PanLinx
hrvatski
hrv-000
zamišljeni stroj
English
eng-000
abstract automata
PanLex