Logo ka.boatexistence.com

როგორ დავამტკიცოთ გადაწყვეტილების მიღება?

Სარჩევი:

როგორ დავამტკიცოთ გადაწყვეტილების მიღება?
როგორ დავამტკიცოთ გადაწყვეტილების მიღება?

ვიდეო: როგორ დავამტკიცოთ გადაწყვეტილების მიღება?

ვიდეო: როგორ დავამტკიცოთ გადაწყვეტილების მიღება?
ვიდეო: Before You Decide: 3 Steps To Better Decision Making | Matthew Confer | TEDxOakLawn 2024, მაისი
Anonim

იმისთვის, რომ დავანახოთ, რომ ენა გადაწყვეტადია, ჩვენ გვჭირდება , რათა შევქმნათ ტურინგის მანქანა, რომელიც შეჩერდება ენის ანბანის ნებისმიერ შეყვანის სტრიქონზე. ვინაიდან M არის dfa, ჩვენ უკვე გვაქვს ტურინგის მანქანა და უბრალოდ უნდა ვაჩვენოთ, რომ dfa ჩერდება ყველა შეყვანისას.

როგორ ითვლით გადაწყვეტილების მიღებას?

ენა არის გადაწყვეტა, თუ და მხოლოდ იმ შემთხვევაში, თუ ის და მისი დანამატი ამოსაცნობია. მტკიცებულება. თუ ენა გადაწყვეტადია, მაშინ მისი კომპლიმენტი გადასაწყვეტია (დახურვით შევსებისას).

როგორ ამტკიცებთ ტურინგის გადამწყვეტობას?

დაამტკიცეთ, რომ ენა, რომელსაც ის აღიარებს, ტოლია მოცემულ ენაზე და რომ ალგორითმი ჩერდება ყველა შეყვანისას. იმის დასამტკიცებლად, რომ მოცემული ენა ტურინგის ამოცნობაა: შეადგინეთ ალგორითმი, რომელიც მიიღებს ზუსტად იმ სტრიქონებს, რომლებიც არის ენაშიმან უნდა უარყოს ან ჩაატაროს ნებისმიერი სტრიქონი, რომელიც არ არის ენაზე.

როგორ იცით, არის თუ არა ენა ცნობადი?

A ენა L არის ამოცნობადი, თუ და მხოლოდ იმ შემთხვევაში, თუ არსებობს ვერიფიკატორი L-ისთვის, სადაც ვერიფიკატორი არის ტურინგის მანქანა, რომელიც ჩერდება ყველა შეყვანაზე და ყველა w∈Σ∗, w∈L↔∃c∈Σ∗. V იღებს ⟨w, c⟩.

როგორ აჩვენებთ, რომ პრობლემა გადაუჭრელია?

მთლიანობის პრობლემა გადაუჭრელია

შეჩერების პრობლემა შეიძლება გამოყენებულ იქნას იმის საჩვენებლად, რომ სხვა პრობლემები გადაუჭრელია. მთლიანობის პრობლემა: ფუნქცია (ან პროგრამა) F არის მთლიანი, თუ F(x) განისაზღვრება ყველა x-ისთვის (ან ანალოგიურად, თუ F(x) ჩერდება ყველა x-ისთვის). იმის დადგენა, არის თუ არა F ფუნქცია მთლიანი, გადაუწყვეტელია.

გირჩევთ: