Cov qauv sau ntawv tsis tu ncua (Qee lub sijhawm siv dav dav: ib qho tuaj yeem tso cov hlua ntev dua ntawm cov terminalslossis ib qho nonterminals yam tsis muaj lwm yam, ua cov lus yooj yim dua rau kev qhia thaum tseem txhais cov tib chav kawm ntawm hom lus.)
Vim li cas cov qauv sau ntawv tseem ceeb?
cov qauv sau ntawv raug siv dav hauv kev paub hais lus, txhais lus, thiab kev nkag siab lus. Cov qauv sau ntawv nplua nuj txaus kom haum rau cov lus ntuj tsim kom muaj ntau yam kev txhais cov kab lus. Cov kev tsis meej pem no yog qhov nyuaj rau kev siv tswv yim.
Vim li cas Chomsky hierarchy tseem ceeb?
Nyob hauv Chomsky hierarchy, cov qauv sau ntawv yooj yim tshaj plaws yog tsis tu ncua, thiab tuaj yeem ua raws li lub xeev automata finite. … Lub Chomsky hierarchy yog ib qho tseem ceeb hauv kev paub txog kev txawj ntse vim tias qhov nyuaj ntawm cov qauv sau ntawv hauv hierarchy tuaj yeem siv los ntsuas (ntawm qib suav) cov tswv yim theoretical hauv kev paub txog science.
Koj nkag siab txog yam lus li cas?
Nyob rau hauv logic, lej, computer science, thiab linguistics, ib tug formal language muaj cov lus uas nws cov tsiaj ntawv yog muab los ntawm ib tug tsiaj ntawv thiab tau zoo-tsim raws li ib tug tshwj xeeb cov cai. Cov tsiaj ntawv ntawm hom lus muaj xws li cov cim, cov tsiaj ntawv, lossis cov cim uas sib txuas ua cov hlua ntawm cov lus.
yog dab tsihierarchy ntawm cov lus?
Pib nrog, cov lus raug raug teeb tsa rau hauv lub nested hierarchy ntawm nce complexity. Nyob rau hauv nws cov classical formulation [3], qhov no thiaj li hu ua Chomsky hierarchy muaj plaub theem ntawm nce complexity: tsis tu ncua, ntsiab lus-dawb, ntsiab lus-sensitive thiab computably enumerablehom lus.
