– Чечим кабыл алуу маселеси Р жарым чечилүүчү деп айтылат (б.а. жарым алгоритми бар), эгерде P үчүн бардык ооба учурларынын L тили r.e. – (DFA үчүн эквиваленттүүлүк маселеси) Эки DFA берилгенде, алар бир тилди кабыл алышабы? Далил: Биринчи лекциядагы Кантордун аргументин эстейли.
Маселе жарым-жартылай чечилүүчү деп айтылганда?
Жарым чечиле турган көйгөйлөр бул үчүн Тьюринг машинасы кабыл алган киргизүүдө токтоп калат, бирок ал Тьюринг машинасы тарабынан четке кагылган киргизүүдө токтоп калышы же түбөлүк айланышы мүмкүн. Мындай көйгөйлөр Тьюрингдин таанылган көйгөйлөрү деп аталат.
Жарым-жартылай чечиле турган көйгөй деген эмне?
Аныктама: Бир байланышкан тили рекурсивдүү саналуучу тил. Эквиваленттүү түрдө "ооба" деп жооп берген ар бир мисал үчүн токтотуп, 1 чыгарган алгоритм бар, бирок "жок" деп жооп берген учурларга же токтотпоого же токтотуп, 0 чыгарууга уруксат берилет.
Токтотуу маселеси жарым-жартылай чечилеби?
Алан Тьюринг 1936-жылы Тьюринг машинасында иштеген бардык мүмкүн болгон программа-киргизүү жуптары үчүн токтотуу маселесин чечүүчү жалпы алгоритм сөзсүз түрдө болушу мүмкүн эмес экенин далилдеген. Демек, токтотуу маселеси Тьюринг машиналары үчүн чечилгис.
Токтотуу маселеси эмне үчүн жарым-жартылай чечилет?
Эгер сөз тилге таандык болсо токтоп турган Тьюринг машинасы бар болсо, тил жарым-жартылай чечилүүчү тил деп айтылат сөз тилге таандык болсо токтойт (Ооба учурлары) жана четке кагуу же чексиздикке кирүү мүмкүн сөз тилге таандык болбосо, цикл (ЖОК).
