Logo ky.boatexistence.com

Автоматтарда чечим кабыл алуу деген эмне?

Мазмуну:

Автоматтарда чечим кабыл алуу деген эмне?
Автоматтарда чечим кабыл алуу деген эмне?

Video: Автоматтарда чечим кабыл алуу деген эмне?

Video: Автоматтарда чечим кабыл алуу деген эмне?
Video: DevOps инженеринин 30 акылсыз суроолору [IT Careers] 2024, Май
Anonim

Эгер w ар бир киргизүү сапта кабыл алып, токтоп турган Тюринг машинасы бар болсо, тил Чечимдүү же Рекурсивдүү деп аталат. Ар бир чечүүчү тил Тьюринг кабыл алынат. Чечим кабыл алуу маселеси P чечүүгө болот, эгерде бардык ооба мисалдарынын L тили P үчүн чечилсе.

Чечимдүүлүк деген эмнени түшүнөсүз?

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

Чечимдүүлүк менен Чечимсиздиктин ортосунда кандай айырма бар?

A чечим маселеси, эгерде ал үчүн чечим алгоритми бар болсо, чечилет. Болбосо чечкинсиз. Чечим кабыл алуу маселеси чечилиши мүмкүн экенин көрсөтүү үчүн анын алгоритмин берүү жетиштүү.

Чечимдүүлүктү кантип эсептейсиз?

Тил эгер ал жана анын толуктоочусу таанылса гана чечилет. Далил. Эгерде тил чечүүчү болсо, анда анын толуктоосу чечилет (толуктоо астында жабылуу менен).

Чечимдүүлүк көйгөйү деген эмне?

(аныктама) Аныктама: Чектүү сандагы кадамдар менен бардык кириштерде токтогон алгоритм менен чечиле турган чечим маселеси Байланышкан тил чечүүчү тил деп аталат. Ошондой эле толугу менен чечилүүчү маселе, алгоритмдик жактан чечилүүчү, рекурсивдүү чечилүүчү маселе катары белгилүү.

Сунушталууда: