Hiyerarşiya Chomsky ya zimanan çi ye û ew rêzimanên fermî li gorî hêza wan a hilberîner çawa dabeş dike?
Hiyerarşiya zimanan a Chomsky pergalek senifandinê ye ku rêzimanên fermî li gorî hêza wan a hilberandinê kategorîze dike. Di salên 1950î de ji aliyê zimanzan û zanyarê kompîturê yê navdar Noam Chomsky ve hat pêşniyarkirin. Hiyerarşî ji çar astan pêk tê, ku her yek çîneke cuda ya zimanên fermî temsîl dike. Van astan wekî Tîpa-3 (Birêkûpêk), Tîp-2 (Bê-Context), Tîp-1 (Context-Hestyar), û Tîp-0 (Bêsînorkirî) têne zanîn.
Di asta herî jêr a hiyerarşiyê de, zimanên me yên Tîpa-3 hene, ku wekî zimanên birêkûpêk jî têne zanîn. Ev ziman dikarin bi otomatên dawîn, wek otomatên dawî yên diyarker û ne diyarker, bên naskirin. Zimanên bi rêkûpêk bi biwêjên rêkûpêk û rêzimanên rêkûpêk têne diyar kirin. Gotinên birêkûpêk biwêjên cebrî ne ku qalibên rêzikan vedibêjin, dema ku rêzimanên birêkûpêk ji qaîdeyên hilberînê pêk tên ku di zimanekî rêkûpêk de rêzan çêdikin. Mînaka zimanekî birêkûpêk koma hemû rêzikên ku bi bêjeyeke birêkûpêk a diyarkirî li hev dikin, wek zimanê hemû rêzikên binaryê yên bi jimareya 0-an ya zewacê ye.
Her ku diçe ser hiyerarşiyê, em bi zimanên Tîpa-2 re rû bi rû tên, ku wekî zimanên Bê-Context jî têne zanîn. Van zimanan dikarin ji hêla otomatên pushdown ve werin nas kirin, ku otomatên dawîn ên ku bi stekê ve hatine zêdekirin. Zimanên Bê-Contekst ji hêla rêzimanên bê-contekst ve têne diyar kirin, ku ji qaîdeyên hilberînê pêk tên ku di zimanek bê kontekst de rêzan çêdikin. Rêzimanên Bê-Context sembolên ne-termînalê, sembolên termînalê, û qaîdeyên hilberînê hene ku diyar dikin ka meriv çawa ne-termînalan dikare bi rêzek sembolan veguhezîne. Nimûneyek ji zimanek bê-konteks berhevoka hemî biwêjên hejmarî yên baş-çêkirî ye, ku tê de parantez hevseng in û operator rast têne sepandin.
Asta din a hiyerarşiyê zimanên Tîpa-1 e, ku wekî zimanên Hessas-Context jî tê zanîn. Van zimanan dikarin ji hêla otomatên rêzkirî yên xêzkirî ve bêne nas kirin, ku otomatên dawîn ên bi kasetek ku dikare di her du aliyan de bimeşe, têne nas kirin. Zimanên hesas ên hevokê ji hêla rêzimanên hesas-contekst ve têne diyar kirin, ku ji qaîdeyên hilberînê pêk tên ku di zimanek hestiyar-kontekst de rêzan çêdikin. Rêzimanên-hessas-context xwedan astengiyek din e ku dirêjahiya milê rastê yê qaîdeyek hilberînê nikare ji dirêjahiya milê çepê kurttir be. Nimûneyek ji zimanek hestiyar-kontekst koma hemî palindroman e, ku tê de rêzek heman pêş û paş dixwîne.
Di dawiyê de, li serê hiyerarşiyê, zimanên me yên Tîpa-0 hene, ku wekî zimanên Bêsînor jî têne zanîn. Van zimanan dikarin ji hêla makîneyên Turing ve werin nas kirin, ku amûrên hesabker ên razber in ku dikarin her algorîtmayek komputerê simul bikin. Zimanên bêsînor bi rêzimanên bêsînor têne vegotin, ku di qaîdeyên hilberînê de ti sînordar nînin. Nimûneyek ji zimanek bêsînor koma hemî zimanên ku bi vegerî têne hejmartin e, ku hemî zimanên hesabker dihewîne.
Hiyerarşiya zimanan a Chomsky ji bo dabeşkirina rêzimanên fermî li ser bingeha hêza wan a hilberandinê çarçoveyek sîstematîk peyda dike. Ew bi zimanên bi rêkûpêk, yên ku herî kêm hêzdar in, dest pê dike, û ber bi zimanên bê kontekst, hestiyar û bêsînor ve pêşve diçe, ku her ku diçe bi hêztir dibin. Ev hiyerarşi têgehek bingehîn e di warê teoriya tevliheviya hesabkirinê de û ji bo xwendina zimanên fermî û otomatan xwedî bandorên girîng e.
Pirs û bersivên din ên vê dawiyê di derbarê Hiyerarşiya Chomsky û Zimanên Hêstiyar ên Naverok:
- Wateya wê çi ye ku zimanek ji yê din bi hêztir e?
- 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.