Teorema vegerê di teoriya tevliheviya hesabkerî de têgehek bingehîn e ku dihêle ku em ravekirina bernameyekê di nav bernameyê de bixwe bistînin. Ev teorem di têgihîştina sînorên hesabkirinê û tevliheviya çareserkirina hin pirsgirêkên hesabkirinê de rolek girîng dilîze.
Ji bo têgihîştina girîngiya teorema vegerê, pêdivî ye ku meriv pêşî têgeha vegerê fam bike. Vegerandin şiyana fonksiyonek an bernameyekê ye ku di dema pêkanîna xwe de bangî xwe bike. Ev teknîk bi berfirehî di bernamekirinê de tê bikar anîn da ku pirsgirêkên tevlihev çareser bike bi dabeşkirina wan li jêrpirsgirêkên piçûktir, birêkûpêktir.
Teorema vegerê, wekî ku ji hêla Stephen Cole Kleene ve hatî formule kirin, diyar dike ku her fonksiyonek hesabker dikare ji hêla bernameyek ku ji xwe re vedibêje were temsîl kirin. Bi gotineke din, ew hebûna bernameyên xwe-referansê ku dikarin tevgera xwe diyar bikin garantî dike. Ev teorem di teoriya tevliheviya hesabkirinê de encamek bi hêz e ji ber ku ew gerdûnîbûna xwe-referansê di hesabkirinê de destnîşan dike.
Ji bo ku têgihîştinek berbiçavtir peyda bikin, em mînakek bifikirin. Bifikirin ku bernameyek me heye ku faktoriya hejmareke diyar dihesibîne. Pêkanîna vegerî ya vê bernameyê dê fonksiyona ku xwe bi têketinek piçûktir vedixwîne heya ku ew bigihîje doza bingehîn vedihewîne. Teorema vegerandinê ji me re piştrast dike ku em dikarin vê bernameyê di nav bernameyê bi xwe de temsîl bikin, ku destûrê dide ravekirinek xweser a fonksiyona faktorî.
Vê şiyana danasîna bernameyekê di nav bernameyê de bixwe di warê ewlehiya sîber de bandorên girîng hene. Ew pêşveçûna bernameyên xwe-guhêrbar dike, ku bername dikare di dema xebitandinê de koda xwe biguhezîne. Digel ku ev kapasîteyê dikare ji hêla aktorên xirab ve were bikar anîn da ku malware-ya xwe-berhevkirî biafirîne an ji tespîtê dûr bixe, ew di heman demê de ji bo tedbîrên berevaniyê jî derfetan peyda dike. Mînakî, bernameyên xwe-guhêrbar dikarin werin bikar anîn da ku mekanîzmayên ewlehiyê yên adapteyî bicîh bikin ku dikarin bi dînamîk bersivê bidin xetereyên derketine.
Teorema vegerandinê di teoriya tevliheviya hesabkerî de têgehek bingehîn e ku hebûna bernameyên xweser-referans garantî dike. Ew dihêle ku em di hundurê bernameyê de ravekek bernameyekê bi dest bixin, ku rê dide pêşkeftina bernameyên xwe-guhêrbar bi serîlêdanên cihêreng di ewlehiya sîber de.
Pirs û bersivên din ên vê dawiyê di derbarê EITC/IS/CCTF Bingehên Teoriya Tevliheviya Hesabkirinê:
- Bi berçavgirtina PDA-yên ne-determînîst, lihevkirina dewletan ji hêla pênasê ve gengaz e. Lêbelê, PDA-yên ne-determînîst tenê stekek heye ku nekare bi hevdemî di gelek dewletan de be. Ev çawa gengaz e?
- Mînaka PDA-yan çi ye ku ji bo analîzkirina seyrûsefera torê û nasîna qalibên ku binpêkirinên ewlehiyê yên potansiyel destnîşan dikin tê bikar anîn?
- Wateya wê çi ye ku zimanek ji yê din bi hêztir e?
- Ma zimanên hesas ên kontekstê ji hêla Makîneya Turing ve têne nas kirin?
- Çima ziman U = 0^n1^n (n>=0) ne rêkûpêk e?
- Meriv çawa FSM rêzikên binary bi hêjmarên '1' yên zewac nas dike pênase bike û nîşan bide ku dema ku rêzika têketinê 1011 hildiweşîne çi diqewime?
- Nedetermînîzm çawa bandorê li fonksiyona veguherînê dike?
- Ma zimanên birêkûpêk bi Makîneyên Dewleta Dawî re hevwate ne?
- Ma pola PSPACE ne bi pola EXPSPACE re wekhev e?
- Li gorî Teza Church-Turing pirsgirêka ku ji hêla algorîtmîkî ve tê hesibandin pirsgirêkek e ku ji hêla Makîneyek Turing ve tê hesibandin?
Pirs û bersivan bêtir li Bingehên Teoriya Tevliheviya Hesabkirinê ya EITC/IS/CCTF bibînin