PanLinx
русский
rus-000
проблема останова
English
eng-000
halting problem
PanLex
