We can further define a programming language in which we can ensure that even more sophisticated functions always halt.
Nadalje, možemo definirati programski jezik u kojem se možemo pobrinuti da i složenije funkcije uvijek stanu.