PanLinx
português
por-000
problema da parada
English
eng-000
halting problem
PanLex