1
Существует ли полная проблема для класса разрешимых задач Тьюринга?
Такие языки, как являются сокращением много-один. Нетрудно видеть, что имеет полные проблемы. С. Шмитц [1] рассматривает некоторые классы между и . Они представляют полные проблемы для этих классов при специально созданных сокращениях.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Существуют ли полные проблемы для (aka ) относительно более слабых сокращений? Сокращения Тьюринга неуместны, потому что они способны …