The most widely used one is based on self-delimiting programs, and is mainly due to Leonid Levin (1974).
Наиболее широко используемая базируется на саморазграничивающих программах и в основном следует Леониду Левину (1974).