Têgîna zimanek ji ya din "hêztir" e, nemaze di çarçoweya hîyerarşiya Chomsky û zimanên hestiyar de, bi kapasîteya vegotinê ya zimanên fermî û modelên hesabker ên ku wan nas dikin ve girêdayî ye. Ev têgeh di têgihîştina sînorên teorîkî yên ku di nav pergalên cûda yên fermî de têne hesibandin an eşkere kirin bingehîn e.
Di hiyerarşiya Chomsky de, ziman li ser bingeha rêzimanên xwe yên hilberî li çar celebên cihê têne dabeş kirin: Zimanên birêkûpêk, zimanên bê kontekst, zimanên hestiyar ên konteksê, û zimanên ku bi paş ve têne hejmartin. Her kategorî bi çîneke otomatên ku dikarin zimanan nas bikin re têkildar e: otomatên dawî ji bo zimanên birêkûpêk, otomatên binavkirî yên ji bo zimanên bê kontekst, otomatên sînorkirî yên xêzkirî ji bo zimanên hestiyar ên kontekstê, û makîneyên Turing ji bo zimanên ku bi paşverû têne hejmartin.
Zimanek ji yê din "hêztir" tê hesibandin heke ew bikaribe komek berfireh a rêzikan an peywirên hesabkerî vebêje an çêbike. Ev têgîna hêzê ji nêz ve bi modela hesabkerî ya bi çîna ziman ve girêdayî ye. Mînakî, makîneyek Turing, ku dikare her algorîtmayekê simule bike, ji otomatek biqede, ku tenê dikare zimanên rêkûpêk nas bike, bi hêztir e. Ji ber vê yekê, zimanên ku bi vegerê têne hejmartin ji zimanên asayî bihêztir in.
Di nav vê hiyerarşiyê de zimanên hestiyar ên naverokê (CSL) cihekî girîng digirin. Ew ji zimanên bê kontekst (CFL) bi hêztir in lê ji zimanên ku bi vegerî têne hejmartin bi hêztir in. Taybetmendiya diyarker a zimanên hestiyar ên konteksê ev e ku ew dikarin bi rêzimanên hestiyar-kontekst werin çêkirin, ku qaîdeyên hilberînê bi forma α → β ne, bi sînorkirina ku dirêjahiya α ji dirêjahiya β kêmtir an wekhev e. Ev asteng piştrast dike ku rêzikên ku ji hêla rêzimanê ve têne hilberandin piçûk nebin, ku ev yek cûdahiyek sereke ye ji rêzimanên bê kontekst.
Hêza zimanên hesas ji kontekstê di şiyana wan de ye ku girêdan û astengiyan derbixin ku zimanên bê kontekst nikarin wan derbixin. Mînakî, zimanên hestiyar ên lihevhatî dikarin di zimanên xwezayî û zimanên bernamesaziyê de ku lihevhatin an astengiyên lihevhatî hewce dikin, hin avahiyên hevoksaziyê model bikin. Nimûneyek klasîk a zimanek hestiyar-kontekst komek rêzikên forma {a^nb^nc^n | n ≥ 1}, ku ji rêzikên bi jimareyên a', b' û 'c' yên di wê rêzê de wekhev pêk tê. Ev ziman nikare ji hêla rêzimanek bê kontekst ve were afirandin, ji ber ku rêzimanên bê-contekst kêmasiya îmkana pêkanîna van girêdanên pir-sembolan e.
Modela hesabkerî ya ku zimanên hesas ên kontekstê nas dike, otomatêya sînorkirî ya xêzkirî (LBA) ye. LBA makîneyek Turing a ne-determînîst e ku bi kasetek ku bi dirêjahiya xêza têketinê bi xêzik ve tê sînorkirin. Ev model astengiyên rêzimanên hesas ên kontekstê nîşan dide, li cihê ku dirêjahiya rêzê nikare kêm bibe, bi vî rengî piştrast dike ku kasêta ku ji hêla LBA ve tê bikar anîn li gorî mezinahiya têketinê ji sînorek diyar derbas nabe.
Encamên pratîkî yên zimanên hesas ên kontekstê di warên wekî sêwirana berhevkar û hilanîna zimanê xwezayî de girîng in. Di sêwirana berhevkerê de, zimanên hesas ên kontekstê dikarin werin bikar anîn da ku hevoksaziya zimanên bernamesaziyê yên ku hewceyê taybetmendiyên hesas ên kontekstê ne, wek kontrolkirina tîpan û pîvana guhêrbar, were bikar anîn. Di pêvajokirina zimanê xwezayî de, rêzimanên hesas ên kontekstê dikarin diyardeyên hevoksaziyê yên ku têkiliyên lihevhatin û girêdayîbûnê, yên ku di zimanên mirovan de serdest in, bigirin.
Tevî hêza wan a derbirînê, zimanên hestiyar ên li ser kontekstê bi qasî zimanên bê kontekst di sepanên pratîkî de bi berfirehî nayên bikar anîn, di serî de ji ber tevliheviya wan a hesabkerî ya bilind. Parvekirina zimanên hesas ên kontekstê bi gelemperî ji parzûnkirina zimanên bê kontekst ji hêla hesabkirinê ve zexmtir e, ku wan ji bo sepanên di dema rast de kêmtir guncantir dike. Lêbelê, girîngiya wan a teorîkî nayê kêm kirin, ji ber ku ew valahiya di navbera zimanên bê kontekst û giştîbûna tevahî ya zimanên ku bi paşvegerî têne hejmartin de pirek dikin.
Têgihîştina têgeha hêza ziman a di nav hiyerarşiya Chomsky de li ser kapasîteyên û sînorên modelên cûda yên hesabkirinê de nihêrînên hêja peyda dike. Ew danûstendinên di navbera eşkerebûn û tevliheviya hesabkirinê de ronî dike, rêberiya lêkolîner û bijîjkan dike di hilbijartina formalîzma guncan de ji bo serîlêdanên taybetî. Ji ber vê yekê, lêkolîna zimanên hestiyar ên li ser kontekstê û cihê wan di hiyerarşiya Chomsky de kevirek bingehîn a zanistiya teorîkî ya kompîturê û teoriya zimanê fermî dimîne.
Pirs û bersivên din ên vê dawiyê di derbarê Hiyerarşiya Chomsky û Zimanên Hêstiyar ên Naverok:
- Ji bo naskirina Type-0 rêbazên heyî hene? Ma em li bendê ne ku komputerên quantum wê pêkan bikin?
- Pêvajoya sêwirana rêzimanek hestiyar ji bo zimanekî ku ji rêzikên bi jimareke yek, du û sêyan pêk tê vebêjin.
- Nimûneyek ji zimanek hestiyar-konteks bide û rave bike ka ew çawa dikare ji hêla rêzimanek hestiyar-kontekst ve were nas kirin.
- Zimanên tîpa 0, ku wekî zimanên vegerî yên hejmartinê jî têne zanîn, di warê tevliheviya hesabkirinê de ji celebên zimanên din çawa cûda dibin?
- Cûdahiya di navbera zimanên bê kontekst û zimanên hestiyar de li gorî qaîdeyên ku avakirina wan bi rê ve dibin vebêjin.
- Hiyerarşiya Chomsky ya zimanan çi ye û ew rêzimanên fermî li gorî hêza wan a hilberîner çawa dabeş dike?