Logo mn.boatexistence.com

Шийдвэрлэх чадварыг хэрхэн батлах вэ?

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

Шийдвэрлэх чадварыг хэрхэн батлах вэ?
Шийдвэрлэх чадварыг хэрхэн батлах вэ?

Видео: Шийдвэрлэх чадварыг хэрхэн батлах вэ?

Видео: Шийдвэрлэх чадварыг хэрхэн батлах вэ?
Видео: Инженер техникийн ажилтнуудад шаардагдах ур чадварыг хэрхэн тодорхойлох вэ? 2024, May
Anonim

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

Та шийдвэр гаргах чадварыг хэрхэн тооцдог вэ?

Хэлийг хэрэв тухайн хэл болон түүний нэмэлтийг таних боломжтой болшийдвэрлэх боломжтой. Баталгаа. Хэрэв хэлийг шийдвэрлэх боломжтой бол түүний нэмэлтийг шийдвэрлэх боломжтой (нэмэлтээр хаах замаар).

Та Тьюрингийн шийдвэр гаргах чадварыг хэрхэн батлах вэ?

Таниж буй хэл нь өгөгдсөн хэлтэй тэнцүү бөгөөд алгоритм бүх оролт дээр зогсдог гэдгийг батал. Тухайн хэлийг Тьюрингээр таних боломжтой гэдгийг батлахын тулд: Хэлэнд байгаа яг тэр мөрүүдийг хүлээн авах алгоритмыг бүтээнэ үүЭнэ нь тухайн хэл дээр байдаггүй дурын утсан дээр татгалзах эсвэл давталт хийх ёстой.

Хэл таних боломжтой эсэхийг яаж мэдэх вэ?

Л хэлийг зөвхөн L-д зориулсан баталгаажуулагч байгаа тохиолдолд л таних боломжтой бөгөөд энд баталгаажуулагч нь бүх оролт болон бүх w∈Σ∗ дээр зогсдог Тьюрингийн машин юм., w∈L↔∃c∈Σ∗. V нь ⟨w, c⟩-г хүлээн авдаг.

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

Бүтэн байдлын асуудал шийдэгдээгүй байна

зогсоох асуудал нь бусад асуудлуудыг шийдвэрлэх боломжгүй гэдгийг харуулахын тулд ашиглаж болно. Нийтийн бодлого: Хэрэв бүх х-д F(x) тодорхойлогдсон бол (эсвэл үүнтэй адилаар, хэрэв F(x) бүх x-д зогсдог бол) функц (эсвэл программ) нь нийлбэр гэж нэрлэгддэг. F функц нийлбэр эсэхийг тодорхойлох боломжгүй.

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