Әрбір w кіріс жолын қабылдайтын және тоқтататын Тюринг машинасы болса, тіл шешуші немесе рекурсивті деп аталады. Әрбір шешілетін тіл Тьюринг-қабылданады. Шешім қабылдау мәселесі P шешілетін болады, егер иә нұсқаларының барлығының L тілі P үшін шешілетін болса.
Шешімділік дегенді қалай түсінесіз?
: арнайы шешім қабылдауға қабілетті: логикалық жүйенің аксиомаларынан келесі немесе келмейтін сияқты шешім қабылдауға қабілетті Логика толық болды ма … ? Әр мәлімдеменің ақиқат немесе жалғандығын көрсететін әдіс болды деген мағынада бұл шешуші болды ма? -
Шешімділік пен Шешімсіздіктің айырмашылығы неде?
А шешім мәселесі шешім қабылдау алгоритмі бар болса, шешуге болады. Әйтпесе, бұл шешілмейді. Шешім мәселесін шешуге болатынын көрсету үшін оның алгоритмін беру жеткілікті.
Шешім қабілеттілігін қалай есептейсіз?
Тілді егер ол және оның қосымшасы танылатын болса ғана шешуге болады. Дәлелдеу. Тіл шешуге болатын болса, оның толықтауышы шешілетін болады (толықтауышпен жабылу арқылы).
Шешімділік мәселесі дегеніміз не?
(анықтама) Анықтама: Ақырлы қадамдар санымен барлық кірістерде тоқтайтын алгоритм арқылы шешілетін шешім мәселесі Байланысты тіл шешілетін тіл деп аталады. Толығымен шешілетін, алгоритмдік шешілетін, рекурсивті түрде шешілетін есеп ретінде де белгілі.
