PanLinx
català
cat-000
autòmat finit no determinista
English
eng-000
nondeterministic finite state machine
PanLex