Vegerandin têgehek bingehîn e di warê teoriya tevliheviya hesabkirinê de, nemaze di çarçoweya rêzimanên bê kontekst (CFG) de. Di warê ewlehiya sîber de, têgihîştina vegerê ji bo têgihîştina tevliheviya zimanên hesas ên kontekstê û sepandina Lemma Pumping ji bo zimanên bê kontekst (CFL) girîng e. Ev ravekirin armanc dike ku têgihiştinek berfireh a vegerê di çarçoweya CFG-an de û rola wê di hilberîna rêzikên dirêj de peyda bike.
Ji bo destpêkê, bila em rêzimanek bê kontekst diyar bikin. CFG pergalek fermî ye ku ji komek rêzikên hilberînê pêk tê ku hevoksaziya zimanek diyar dike. Her qaîdeyek hilberînê ji sembolek ne-termînalê û rêzek sembolan pêk tê, ku dikarin sembolên ne-termînalê an termînal bin. Nîşanên ne-dawî kategoriyên hevoksazî, lê sembolên termînal hêmanên rastîn ên zimên temsîl dikin.
Vegerandin di çarçoweya CFG-an de qabiliyeta rêzimanekê vedibêje ku qaîdeyên hilberînê yên ku li her du aliyan sembolên ne-termînalê hene hene. Ev tê wê wateyê ku sembolek ne-termînalê dikare bi rêzek sembolên ne-termînalê û/an termînalê ve, di nav xwe de, were guheztin. Ev xwe-referans destûrê dide nifşên rêzikên dirêj bi berfirehkirina çend caran sembolên ne-termînalê heya ku tenê sembolên termînalê bimînin.
Rêbaza CFG ya jêrîn wekî mînakek bifikirin:
A -> aA
Di vê qaîdeyê de, 'A' nîşanek ne-termînalê ye, û 'a' sembola termînalê ye. Rêzik dibêje ku 'A' dikare bi 'aA' were guheztin. Bi dubare sepandina vê qaîdeyê, em dikarin rêzikên wekî 'a', 'aa', 'aaa' û hwd çêkin. Ev mînakek vegerandina çepê ye, ku nîşana ne-termînalê li milê çepê qaîdeya hilberînê xuya dike.
Formek din a vegerê vegerandina rast e, ku nîşana ne-termînalê li milê rastê yê qaîdeya hilberînê xuya dike. Bo nimûne:
A -> Aa
Di vê rewşê de, 'A' dikare bi 'Aa' ve were guheztin, ku bibe sedema peydabûna rêzikên mîna 'a', 'aa', 'aaa' û hwd.
Vegerandin bi pêkanîna çend caran qaîdeyên hilberînê yên ku sembolên ne-termînalê dihewîne destûrê dide hilberîna rêzikên dirêj. Bi berfirehkirina van sembolan, rêziman dikare rêzikên bi dirêjahiya kêfî çêbike. Ev taybetmendî bi taybetî di çarçoweya zimanên hesas ên konteksê de, ku dirêjahiya rêzan lê ne sabît e, hêja ye.
Di warê teoriya tevliheviya hesabkerî de, vegerandin di sepana Pumping Lemma ji bo zimanên bê-contekst (CFL) de rolek girîng dilîze. Pumping Lemma amûrek bingehîn e ku tê bikar anîn da ku îspat bike ku zimanek ne bê kontekst e. Ew diyar dike ku ji bo her CFL, dirêjahiya pompkirinê ya 'p' heye ku her rêzek di ziman de ji 'p' dirêjtir dikare bibe pênc beşan: uvwxy. Divê ev beş hin mercan têr bikin, di nav de dubarekirina 'v' û 'y'. Bi dubare pompkirina 'v' û 'y' re, rêzikên dirêjtir ên ku ne di zimanê orîjînal de ne têne çêkirin, û destnîşan dikin ku ew ne bê kontekst e.
Vegerandin di çarçoweya CFG-an de hilberîna rêzikên dirêj, ku ji bo sepandina Lemma Pumpingê pêdivî ye, dihêle. Bi berbelavkirina dubarekirina sembolên ne-termînalê, CFG dikarin rêzikên bi dirêjahiya kêfî biafirînin, ku rê dide analîzkirin û îsbatkirina zimanên hesas ên kontekstê.
Vegerandin di çarçoweya rêzimanên bê kontekst de şiyana rêzimanekê ye ku xwedan qaîdeyên hilberînê ye ku li her du aliyan sembolên ne-termînalê dihewîne. Ev taybetmendiya xwe-referanskirî bi berfirehkirina dubarekirina sembolên ne-termînalê rê dide afirandina rêzikên dirêj. Vegerandin di vekolandina zimanên hesas ên kontekstê û sepana Lemaya Pumping de ji bo zimanên bê-conteks rolek girîng dilîze.
Pirs û bersivên din ên vê dawiyê di derbarê Zimanên Hêstiyar ên Naverok:
- Wateya wê çi ye ku zimanek ji yê din bi hêztir e?
- Rêzimana Chomsky ya normal her gav biryardar e?
- Ji bo naskirina Type-0 rêbazên heyî hene? Ma em li bendê ne ku komputerên quantum wê pêkan bikin?
- Di mînaka zimanê D de, çima taybetiya pompkirinê ji bo rêza S = 0^P 1^P 0^P 1^P nagire?
- Dema ku rêzek ji bo sepandina lemma pompkirinê tê dabeş kirin du doz çi ne?
- Di mînaka zimanê B de, çima taybetmendiya pompkirinê ji bo rêzika a^Pb^Pc^P nagire?
- Ji bo ku milkê pompê bigire divê şert û mercên çi ne?
- Çawa dikare Lemma Pumping ji bo CFL-an were bikar anîn da ku îspat bike ku zimanek ne bê kontekst e?
- Ji bo ku zimanek li gorî lemmaya pompeyî ya ji bo zimanên bê-kontekst bêtevger were hesibandin şert û mercên ku divê werin bicîh kirin çi ne?
- Dara parse çi ye, û ew çawa tê bikar anîn da ku strukturek rêzek ku ji hêla rêzimanek bê kontekst ve hatî çêkirin temsîl bike?
Pirs û bersivan zêdetir di Zimanên Hessas Context de bibînin