PanLinx
hrvatski
hrv-000
oznaka za sustav s konačnim brojem stanja
English
eng-000
finite-state
PanLex