Logo mn.boatexistence.com

Автоматад шийдвэр гаргах чадвар гэж юу вэ?

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

Автоматад шийдвэр гаргах чадвар гэж юу вэ?
Автоматад шийдвэр гаргах чадвар гэж юу вэ?

Видео: Автоматад шийдвэр гаргах чадвар гэж юу вэ?

Видео: Автоматад шийдвэр гаргах чадвар гэж юу вэ?
Видео: Автоматжуулсан шийдвэр гаргах ба профайл: Шүүх ба DPA шийдвэрийн сургамж 2024, May
Anonim

w оролтын мөр бүрийг хүлээн авч зогсоодог Тюринг машин байгаа бол хэлийг Decidable эсвэл Recursive гэж нэрлэдэг. Шийдвэрлэх боломжтой хэл бүр нь Тьюрингийн хүлээн зөвшөөрөгдсөн хэл юм. Хэрэв P-д тийм гэж байгаа бүх тохиолдлын L хэл нь шийдэгдэх боломжтой бол шийдвэрийн P асуудлыг шийдвэрлэх боломжтой.

Та шийдвэр гаргах чадвар гэж юу гэсэн үг вэ?

: тусгайлан шийдвэрлэх чадвартай: логик системийн аксиомуудыг дагаж мөрдөх эсвэл дагахгүй байхаар шийдэх чадвартай Логик бүрэн байсан уу … ? Мэдэгдэл болгоны үнэн худлыг харуулсан арга байдаг гэдэг утгаараа шийдэгдэх боломжтой байсан уу? -

Шийдвэрлэх чадвар, шийдвэр гаргах боломжгүй хоёрын ялгаа нь юу вэ?

шийдвэрийн асуудал-ийг шийдвэрлэх алгоритм байгаа бол шийдвэрлэх боломжтой. Тэгэхгүй бол шийдэх боломжгүй. Шийдвэр гаргах асуудлыг шийдвэрлэх боломжтой гэдгийг харуулахын тулд түүний алгоритмыг өгөхөд хангалттай.

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

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

Шийдвэрлэх чадварын асуудал гэж юу вэ?

(тодорхойлолт) Тодорхойлолт: Хязгаарлагдмал тооны алхмаар бүх оролт дээр зогсох алгоритмаар шийдэж болох шийдвэрийн асуудал Холбогдох хэлийг шийдвэрлэх хэл гэж нэрлэдэг. Мөн бүрэн шийдвэрлэх боломжтой, алгоритмаар шийдэгддэг, рекурсиваар шийдэгддэг бодлого гэж нэрлэдэг.

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