1
Чи існує повна проблема для класу Тюрінг рішучих проблем?
Такі мови, як , повністю скорочуються при скороченні багато-одного. Банально бачити, що у СЕП теж є цілі проблеми. С. Шмітц [1] розглядає деякі класи між ELEM та REC . Вони представляють повні проблеми для цих класів при спеціально створених скороченнях.HALTTMHALTTМ\text{HALT}_{TM}RE-completeПовторне завершення\textsf{RE-complete}co-REспів-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Чи існують повні проблеми для (він же REC ) …