The following example shows how to use reduction from the halting problem to prove that a language is undecidable.
Следећи пример показује како се користи смањење проблема да докаже да је језик неодлучив.