The most widely used one is based on self-delimiting programs, and is mainly due to Leonid Levin (1974).
Bunlardan en yaygın olanı kendi kendini ayıran programlara dayanmaktadır ve Leonid Levin (1974) tarafından ortaya konmuştur.