Mezinahiya kasêtê di otomatên xêzkirî de çawa bandorê li hejmara veavakirinên cihê dike?
Mezinahiya kasêtê di otomatên xêzkirî de (LBA) di destnîşankirina hejmara vesazên cihêreng de rolek girîng dilîze. A otomatê de xêzkirî alaveke jimartinî teorîk e ku li ser kaseteke ketina bi dirêjahiya dawî, ku dikare ji xwendin û nivîsandina otomatê de kar dike. Kaset ji bo hesabkirina otomatê wekî navgîniya hilanînê ya bingehîn kar dike.
Ji bo ku em bandora mezinahiya tapeyê li ser hejmara veavakirinên cihêreng fam bikin, divê em pêşî li avahiya LBA-ê lêkolîn bikin. LBA ji yekîneyek kontrolê, serê xwendin/nivîsandinê, û kasetek pêk tê. Yekîneya kontrolê tevgera otomatê birêve dibe, dema ku serê xwendin/nivîsandinê kasêtê dikole û xebatên xwendin û nivîsandinê pêk tîne. Kaset, wekî ku berê hate behs kirin, navgîna hilanînê ye ku di dema hesabkirinê de têketin û encamên navîn digire.
Mezinahiya kasê rasterast bandorê li hejmara vesazên cihêreng ên ku LBA dikare hebe dike. Veavakirinek LBA ji hêla rewşa yekîneya kontrolê, pozîsyona serê xwendin/nivîsandinê ya li ser kasêtê, û naveroka kasêtê ve tê destnîşan kirin. Her ku mezinahiya kasêtê zêde dibe, hejmara veavakirinên mumkun jî qat bi qat zêde dibe.
Werin em mînakek ji bo ronîkirina vê têgehê binirxînin. Bifikirin ku me LBA-ya bi mezinahiya kasêtê n heye, ku n hejmara şaneyên li ser kasêtê nîşan dide. Her xane dikare ji alfabeyeke diyarkirî hejmareke bêdawî ya sembolan bigire. Ger mezinahiya kasêtê 1 be, wê hingê dibe ku hejmareke bisînorkirî ya veavakirinê hebe ji ber ku ji bo hilanînê tenê hucreyek heye. Her ku em mezinahiya kasêtê 2 zêde dikin, jimara veavakirinê pir zêde dibe ji ber ku naha ji bo naveroka kasêtê bêtir îmkan hene.
Ji hêla matematîkî ve, hejmara veavakirinên cihêreng ên di LBA-yê de bi kaseta n-yê dikare bi jimartina jimareya dewletên gengaz ên yekîneya kontrolê, hejmara pozîsyonên gengaz ên ji bo serê xwendin/nivîsandinê, û hejmara naverokên gengaz ên ji bo yekîneya kontrolê were hesibandin. her şaneyek li ser kasêtê. Ka em van nirxan bi rêzdarî wekî S, P, û C destnîşan bikin. Hejmara giştî ya veavakirinên cihêreng (N) dikare wekî N = S * P * C^n were hesibandin, ku n mezinahiya kasêtê ye.
Girîng e ku were zanîn ku mezinahiya kasê di destnîşankirina hêza hesabker a LBA de faktorek krîtîk e. Ger mezinahiya kasêtê pir piçûk be, dibe ku LBA xwedî kapasîteya hilanînê nebe ku pirsgirêkên tevlihev ên hesabkirinê çareser bike. Ji hêla din ve, heke mezinahiya kasêtê pir mezin be, dibe ku ew bibe sedema hewcedariyên bîranînê yên zêde û hesabên bêserûber.
Mezinahiya kasêtê di otomatên xêzkirî yên rêzkirî de rasterast bandorê li hejmara veavakirinên cihê dike. Her ku mezinahiya kasêtê zêde dibe, hejmara veavakirinên mimkun qat bi qat mezin dibe. Vê yekê ji bo hêza hesabkerî û karbidestiya LBA-yê di çareserkirina pirsgirêkên tevlihev de bandor dike.
Pirs û bersivên din ên vê dawiyê di derbarê Biryardarî:
- Ma kasetek dikare bi mezinahiya têketinê ve were sînordar kirin (ku wekhev e ku serê makîneya turingê bi sînorkirî ye ku ji têketina kasêta TM-yê wêdetir bimeşe)?
- Wateya guhertoyên cihêreng ên Makîneyên Turing di kapasîteya hesabkirinê de tê çi wateyê?
- Ma zimanek naskirî dikare binekomek zimanê biryardar pêk bîne?
- Pirsgirêka rawestandina makîneyek Turing biryardar e?
- Ger du TM-yên me hene ku zimanek biryardar diyar dikin, gelo pirsa wekheviyê hîn jî nayê biryar?
- Pirsgirêka pejirandinê ji bo otomatên xêzkirî ji ya makîneyên Turing çawa cûda dibe?
- Mînakek pirsgirêkek bide ku dikare ji hêla otomatek sînorkirî ya xêz ve were biryardan.
- Di çarçoweya otomatên sînorkirî yên rêzê de têgeha biryardarbûnê rave bikin.
- Cûdahiya sereke di navbera otomatên sînorkirî yên rêzkirî û makîneyên Turing de çi ye?
- Pêvajoya veguhertina makîneyek Turing li komek çîpên ji bo PCP-ê vebêjin, û ka van pêlikan çawa dîroka hesabkirinê temsîl dikin.
Pir pirs û bersivan di Decidability de bibînin