PanLinx
svenska
swe-000
stackmaskin
Deutsch
deu-000
Kellerautomat
English
eng-000
pushdown automaton
PanLex
