Logo mn.boatexistence.com

Хэрэв p асуудлыг хагас шийдвэрлэх боломжтой гэж хэлэх вэ?

Агуулгын хүснэгт:

Хэрэв p асуудлыг хагас шийдвэрлэх боломжтой гэж хэлэх вэ?
Хэрэв p асуудлыг хагас шийдвэрлэх боломжтой гэж хэлэх вэ?

Видео: Хэрэв p асуудлыг хагас шийдвэрлэх боломжтой гэж хэлэх вэ?

Видео: Хэрэв p асуудлыг хагас шийдвэрлэх боломжтой гэж хэлэх вэ?
Видео: Тьюрингийн машинуудын дүйцэхүйц байдлыг шийдэх боломжгүй 2024, May
Anonim

– Хэрэв P-ийн бүх тийм тохиолдлын L хэл нь r.e байвал шийдвэрийн P бодлогыг хагас шийдвэрлэдэг (өөрөөр хэлбэл хагас алгоритмтай) гэж хэлнэ. – (DFA-д тэнцэх асуудал) Хоёр DFA өгөгдсөн бол тэдгээр нь ижил хэлийг хүлээн зөвшөөрдөг үү? Нотлох баримт: Нэгдүгээр лекцээс Канторын аргументыг эргэн сана.

Асуудлыг хагас шийдвэрлэх боломжтой гэж хэлэх үед?

Хагас шийдэгдэх асуудлууд нь Тьюрингийн машин хүлээн авсан оролт дээр зогсох тьюрингийн машинаас татгалзсан оролт дээр зогсох эсвэл үүрд давтагдах асуудлууд юм. Ийм асуудлуудыг Тюринг таних боломжтой асуудлууд гэж нэрлэдэг.

Хэсэгчлэн шийдвэрлэх боломжтой асуудал гэж юу вэ?

Тодорхойлолт: Нэг холбоотой хэл нь рекурсив тоолох боломжтой хэл юм. Үүнтэй адилаар "тийм" гэж хариулсан тохиолдол бүрийг зогсоож, 1 гаргадаг алгоритм байдаг ч "үгүй" гэж хариулсан тохиолдолд зогсоохгүй эсвэл зогсоож 0-г гаргахыг зөвшөөрдөг.

Зогсоох асуудлыг хэсэгчлэн шийдвэрлэх боломжтой юу?

Алан Тюринг 1936 онд Тьюрингийн машин дээр ажиллаж байгаа бүх боломжит програм-оролтын хосуудын зогсолтын асуудлыг шийддэг ерөнхий алгоритм байх боломжгүй гэдгийг баталсан. Иймд зогсоох асуудал Тюринг машинуудын хувьд шийдвэрлэх боломжгүй юм.

Яагаад зогсоох асуудлыг хагас шийдвэрлэх боломжтой вэ?

Хэрэв тухайн хэлэнд хамаарах үг бол зогсдог (ТИЙМ тохиолдол) бөгөөд татгалзах эсвэл хязгааргүйд орж болзошгүй Тьюрингийн машин байгаа бол тухайн хэлийг хагас шийдвэрлэдэг хэл гэнэ. Хэрэв тухайн үг тухайн хэлэнд хамааралгүй бол гогцоо хийнэ (ҮГҮЙ).

Зөвлөмж болгож буй: