Լեզուն կոչվում է Decidable կամ Recursive, եթե կա Turing մեքենա, որն ընդունում և դադարեցնում է յուրաքանչյուր մուտքային տող w: Յուրաքանչյուր որոշում ընդունելի լեզու է Թյուրինգի ընդունելի: Որոշման P-ի խնդիրը որոշելի է, եթե P-ի բոլոր այո օրինակների L լեզուն որոշելի է:
Ի՞նչ նկատի ունեք որոշելիություն ասելով:
. Եվ արդյո՞ք դա որոշելի էր, այն առումով, որ կար մեթոդ, որը ցույց էր տալիս յուրաքանչյուր հայտարարության ճշմարտացիությունը կամ կեղծը: -
Ո՞րն է տարբերությունը որոշելու և անորոշելիության միջև:
որոշման խնդիրը որոշելի է, եթե դրա համար կա որոշման ալգորիթմ: Հակառակ դեպքում անորոշ է։ Որպեսզի ցույց տանք, որ որոշման խնդիրը լուծելի է, բավական է դրա համար տալ ալգորիթմ:
Ինչպե՞ս եք հաշվարկում որոշելիությունը:
Լեզուն որոշելի է, եթե և միայն այն դեպքում, երբ այն և նրա լրացումը ճանաչելի են: Ապացույց. Եթե լեզուն որոշելի է, ապա դրա լրացումը որոշելի է (լրացման տակ փակելով):
Ի՞նչ է որոշման խնդիրը:
(սահմանում) Սահմանում․ Նաև հայտնի է որպես լիովին որոշվող խնդիր, ալգորիթմորեն լուծելի, ռեկուրսիվ լուծելի: