PanLinx
hrvatski
hrv-000
koji je s konačnim brojem stanja
English
eng-000
finite-state
PanLex