Chii yakarongwa mitauro kunogona kunzi? mienzaniso kushandiswa

Chii mutauro wevakadzidza uye sei zvakasiyana zvepanyama? Sei kuumbwa? Chii yakarongwa mitauro kunogona kunzi? Uye rinoshandiswa kureva kwaari?

Zvinoitwa kwomuitirowo mitauro

Saka tinoti boka chakagadzirwa mitauro, ayo kuburikidza chaiwo mitemo maererano kuvakwa mashoko, uyewo kunzwisisa kwavo inozivikanwa. hurongwa anoshandiswa maindasitiri zvinangwa anogona kunzi yakarongwa mitauro. Dzinovakwa achiita zvaidiwa mitemo yakajeka, zvinopa asingachinji, chiine chaiwo kuratidzwa pamusoro zvivako uye ukama pakati vadzidza nyaya yacho kana modeled zvinhu. Kukosha uye zvinorehwa mavanga hazvigoni akachinjwa chero pragmatic zvinhu (kushandiswa chechinyorwa). Izvi zvinogoneka nemhaka pamberi nomutauro dzechipameso nemitemo nemarongerwo yokutendeutsa uye kupindirana kwemuvanzrira wezvirevo nemabviro dudziro. Vari kazhinji yakavakwa kushandisa sechinhu nehwaro masvomhu. Nokuti chokuti, yose hwoupenyu okukura, dzakasiyana-siyana dzokufananidzira mazita dzave kushandiswa dzakasiyana-siyana pfungwa uye zvinhu. Ndizvo zvaanofanira rongeka mitauro. Vanogona kuderedza mashoko. Pakuvamba, pamwe wevakadzidza uye zviwanikwa mitauro zvave, asi zvishoma nezvishoma kuomesa kwakaita yacho uye kudiwa kuti kuomesa musoro kuongorora kwemasvomhu pfungwa, kwakasarudzwa kusiya zvakapfuura. Izvi chakavapo kubva XVII kusvika XX remakore. Muzana remakore yokupedzisira anonzi kupfuura zvibereko tichitarisa kwomuitirowo mitauro. matavi inokosha siyana zvakasikwa. Saka, nokuti kombiyuta nesayenzi muri zvikuru kukosha zvirongwa mitauro uye nemasvomhu nomufungo, kwete yokungotaura chete, asiwo kubva rinoshanda pfungwa maonero.

tsananguro

Chii yakarongwa mitauro kunogona kunzi tine kare zvishoma vakatsanangura. Asi tichatiiko pamusoro pavo? mutauro Formal anopiwa vazhinji tsanangudzo dzakasiyana. Kuti wozvinyora zvose, zvichava kusiya nguva yakawanda, saka tora Kutarira zvikuru nevanhu:

1. A nyore ndandanda yemashoko mumutauro - kazhinji kutaura saka panyaya kwokupedzisira mhando kuvakwa uye pamusoro Vaya vane nyore yakarongeka.
2. Words kunotangira imwe yakarongwa girama.
3. The mamiriro akasikwa dzose mashoko.
4. Words vanowanika neDare BPF-kugadzira.
5. The mamiriro, akazivikanwa ne finite automaton.

Ngatimboonai muenzaniso. Toti tine arufabheti yose, vakapiwa kuwanda maviri 1 uye 0. Kuti kuratidza tsamba "O", tinoshandisa mubatanidzwa 1010001. Ndiwo kushandisa mutauro pamutemo. Zvinogonekawo kuti kushandisa mashoko asina maturo (kana tambo ane razero urefu, uye hapana) chaiwo rokuti muchimiro avanoziva kwatiri. Asi muudzame kunzwisisa chii chiri mutauro wevakadzidza, batsira 4 mienzaniso kuti achapiwa inotevera. Ko sei? Kuti muverengi njere rakanga kuti mutauro pamutemo zvinogona kunzi. Asi zvishoma pamusoro sei izvo zvinosikwa.

Kuvaka rongeka mitauro

mutauro mumwe nomumwe chakarongwa marongerwo hwakasikwa kamwe uye munhu. Vari dzaiwanzovakwa pamusoro mumuitiro:

1. Chokutanga, sarudza arufabheti, kana zvimwe akaisawo dzakananga kutaurwa kuti ichavakwa uye mashoko akashandiswa mutauro. By mutauro wevakadzidza ndiyo chero nzira purogiramu vachishandisa kombiyuta.
2. It rinotsanangura nemarongerwo, kureva, unhu uye mitemo achavaka zvirevo zvakunoreva.
3. On mamwe mitemo kuti mashoko. Pano pane mutemo: chero kutevedzana tsamba vanofanira kukwanisa kuverenga mazwi.

By mutauro wevakadzidza inoreva chero chivako chine mitemo yakajeka - zvinofanira kuyeukwa. Kana kuvaka, pane zvimwe zvinhu. Saka, shoko rokuti "unhu" zvikuru multi-yaishandiswa panyaya zvakunoreva, saka nokuda kworutivi vaishandisa izwi se "tsamba". Asi pasi pavo unogona kunzwisiswa kwete chete zvatinosiita notation kwatiri, asiwo mumabhuraketi, inokosha vatambi, uye zvakawanda. Izvi zvinoshandawo chete yakarongwa mitauro.

MUENZANISO 1

Ngatitange ne 1 uye 0. Muzviitiko zvakadaro, shandisa zvikuru pfungwa "rokuti" uye "mutoo." Wokutanga anoita somunhu analogue ari chinhu uye rinoshandiswa kureva chinhu chaicho zita. Chekutanga kunzwisisa constants uye munhu variables pasi pavo. Izvi, akavapindurawo, kuvaka zvivako zvakawanda kunzwisisa, rinoshandiswa kushandiswa mune dzimwe mutauro chaitika. Pasi chibvumirano boka kunzwisisa nzira, kushandiswa izvo mune imwe mutauro zvirongwa zvinoita. Izvi "mirayiridzo" zvichabviswa kupatsanurwa, uye munhu kuwana achida mugumisiro.

MUENZANISO 2

Funga muenzaniso pfungwa iyo pane inversion (¬), disjunction (∧), kuti pachiimbwa (∨) uye Zvairehwa (⇒) nevamwe. In zvokurekodhwa mifananidzo yakadaro inogona kupiwa se:

1. A;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Sezvo vatambi A, B, C, kuisa mashoko variables uye imi makakohwa ari musoro mashandiro. Where kushandisa zvinenge mitauro iyi mhando? Kushandiswa kwakapararira imwe mashandiro akadaro anowanika mapurogiramu mumitauro, masvomhu, ukama, musoro uye akarongeka mashandiro, kana zvikamu zvange yakarondedzerwa programmer.

MUENZANISO 3

Ngatimboonai kupfuura kunzwisisa musoro Masvomhu:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Ndicho chikonzero tichifanira rongeka mitauro. Fungidzira chii chingadai chakaitika kana zvakanzi kunotaurwa mashoko? Zvino, tichifunga nzira isu kuona mhedziso. Hune mashoko kunogona kuwanikwa mumutauro pamutemo chete kana zvimwe mitemo vanoremekedzwa pre-inotungamirwa, kuchinja uye "kunzwisisa" pamusoro Masvomhu uye tichitarisa izvo zvavari vakaita:

1. Construction izwi Masvomhu uye;
2. Kudzidza kupindirana kwemuvanzrira wezvirevo nemabviro chinoumba uye kududzira;
3. Kutevedzana mumwe Masvomhu nemamwe izwi.

Mumwe mutauro wevakadzidza inofanira zvakanaka kusimbiswa yakaiswa mitemo.

MUENZANISO 4

Nokuda kwe mitemo mutauro nemarongerwo goho kuti mashoko uye Masvomhu zvinogona kuitwa isomorphic kushanduka yokutevedzera. Saka chichaitwa kwete chete kuratidzwa (kumiririrwa) chaiyo muviri ruzivo kuti ariko kare, asi agamuchire mashoko matsva. Uyezve, kuchinja Zvisinei, uye achatora nzvimbo maererano akajeka uye kunyatsoteerera mitemo, chinogona zvoga. nzira dzakafanana zvinoshandiswa nyanzvi mugadziriro, ruzivo nezvigadziko, uye Software chisarudzo rutsigiro zvigadzirwa.

mhedziso

zvinonzi nevakawanda kushandiswa mitauro pamutemo zvesayenzi, kunyanya unyanzvi. Panguva kwesayenzi uye Implementation dzinoshanda mabasa vanogona kushamwaridzana zvepanyama, tichiona yakawanda kuratidza nemano yokupedzisira. Asi mitauro pamutemo zvinogona zvakarurama kutaura ruzivo uye kuti vaite chimwe kupanana ruzivo vaunganidza nevanhu.