1 “...-completeness. This discrete theory is based on the Turing machine model and achieves a classification...”

2 “... different concepts for this purpose were pro­ posed, such as Turing machines, WHILE-programs, recursive...”