Kini lati lodo awọn ede le wa ni Wọn? apeere ti lilo

Ohun ti o lodo ede ati bi o ti yato si lati adayeba? Bawo ni ti o ti akoso? Kini lati lodo awọn ede le wa ni Wọn? Ati awọn ti o ti wa ni lo lati tọka si i?

Abuda kan ti lodo ede

Ki a pe ẹgbẹ kan ti Oríkĕ ede, eyi ti o wa ni characterized nipasẹ kongẹ awọn ofin nipa awọn ikole ti expressions, bi daradara bi wọn oye. awọn ọna šiše lo fun ise ìdí le wa ni Wọn si lodo ede. Wọn ti wa ni itumọ ti ni ibamu pẹlu awọn ko o ofin, pese ni ibamu, iwapọ ati kongẹ àpapọ ti awọn ini ati ajosepo ti awọn iwadi koko agbegbe tabi ere ohun. Awọn iye ati itumo ti awọn aami bẹ ko le wa ni yipada nipa eyikeyi pragmatic awọn ẹya ara ẹrọ (lilo ti awọn ti o tọ). Eleyi jẹ ṣee ṣe ọpẹ si niwaju ninu awọn lodo ede ti awọn ofin ti sintasi iyipada ati atunmọ itumọ. Wọn ti wa ni igba kọ nipa lilo bi a mimọ ti mathimatiki. Nitori si ni otitọ wipe o, lori gbogbo igba ti idagbasoke, lo orisirisi kan ti AMI designations ti a ti loo si kan orisirisi ti agbekale ati ohun. Ti o ni ohun nilo lodo ede. Nwọn le significantly din data. Sẹyìn, pẹlú pẹlu awọn lodo ati adayeba ede ti a ti lo, ṣugbọn pẹlu awọn mimu complication ti awọn koko-ati awọn nilo lati ṣe kan ti o muna mogbonwa igbekale mathematiki ero, ti o ti pinnu lati fi kọ awọn ti o ti kọja. Yi ilana fi opin si lati XVII si awọn xx orundun. O ti wa ni awọn ti o kẹhin orundun ti wa ni kà julọ bisi i ni awọn ofin ti lodo ede. orisirisi pataki ẹka won da. Nítorí náà, fun kọmputa sayensi ni o wa ti pato pataki siseto ede ati awọn aljebra ti kannaa, ko nikan o tumq si, sugbon tun lati kan wulo ojuami ti wo.

definition

Kini lati lodo ede le wa ni Wọn, a ni tẹlẹ ni soki salaye. Ṣugbọn ohun ti a le sọ nipa wọn? Lodo ede ti wa ni fi kan pupo ti o yatọ si itumo. Lati akojö gbogbo wọn, o yoo fi kan pupo ti akoko, ki ya kan wo ni awọn julọ gbajumo:

1. A o rọrun akojọ ti awọn ọrọ ninu ede - maa sọ bẹ pẹlu ọwọ si awọn ik iru ti ikole ati nipa awọn eyi ti o ni kan ti o rọrun be.
2. Words ti ipilẹṣẹ nipasẹ kan lodo ilo.
3. Awọn be da nipa deede expressions.
4. Ọrọ ti ipilẹṣẹ nipasẹ awọn BPF-oniru.
5. Awọn be, recognizable adópin kan automaton.

Jẹ ká wo ni ohun apẹẹrẹ. Jẹ ká sọ ti a ni gbogbo alphabet, fi fun nomba meji 1 ati 0. Lati han awọn lẹta "Ẹyin", a lo kan apapo ti 1010001. Eleyi jẹ awọn lilo ti a lodo ede. O ti wa ni tun ṣee ṣe lati lo sofo ọrọ (nigbati awọn okun ni o ni odo ipari, ati nibẹ ni ohunkohun) pẹlu pataki kan yiyan ni awọn fọọmu faramọ si wa. Sugbon ni diẹ apejuwe awọn lati ni oye ohun ti a lodo ede, ran 4 apeere ti yoo wa fun tókàn. Kí ni o ṣe? Si RSS ká oye ni wipe a lodo ede le wa ni Wọn. Sugbon kekere kan siwaju sii nipa bi won ti wa ni da.

Ikole ti lodo ede

Kọọkan ede ni a lodo be ti a ti da ni kete ti ati ẹnikan. Wọn ti wa ni maa itumọ ti lori kanna Àpẹẹrẹ:

1. Lati bẹrẹ, yan awọn ti alfabeti, tabi diẹ ninu awọn ṣeto ti pato ohun kikọ ti yoo wa ni itumọ ti o si expressions lo ninu awọn ede. Nipa awọn lodo ede ni eyikeyi ọna lati eto nipa lilo kọmputa.
2. O apejuwe awọn sintasi, ti o ni, abuda kan ati ofin ti yoo kọ o nilari awọn gbolohun ọrọ.
3. Lori awọn ofin fun ọrọ ati expressions. Nibi nibẹ ni a ofin: eyikeyi ọkọọkan ti awọn lẹta gbodo ni anfani lati ka awọn ọrọ.

Nipa lodo ede ntokasi si eyikeyi be o ni o ni ko ofin - o yẹ ki o wa ranti. Nigba ti ile, nibẹ ni o wa diẹ ninu awọn ẹya ara ẹrọ. Bayi, awọn oro "ohun kikọ" jẹ gidigidi olona-iṣẹ-ni awọn ofin ti itumo, ki fun julọ apakan ti lo ni oro bi a "lẹta". Ṣugbọn labẹ wọn le ti wa ni gbọye ko nikan ni ibùgbé amiakosile fun wa, sugbon o tun awọn biraketi, pataki ohun kikọ, ati siwaju sii. Eleyi kan nikan lati lodo ede.

apere 1

Jẹ ká bẹrẹ pẹlu 1 ati 0. Ni iru awọn igba, lo awọn diẹ awọn Erongba ti "oro" ati "agbekalẹ." Ni igba akọkọ ti ìgbésẹ bi ohun afọwọkọ ti awọn ohun ati awọn orukọ lo lati tọka si nkankan kan pato. Akọkọ ti gbogbo ye awọn ibakan ati olukuluku oniyipada labẹ wọn. Ninu awọn wọnyi, ni Tan, kọ diẹ eka ẹya, eyi ti o ti lo ti lo ni diẹ ninu awọn ede iṣẹ. Labẹ awọn ofin ti awọn ẹgbẹ ye awọn agbekalẹ, awọn lilo ti eyi ti o ni kan awọn siseto ede ni ṣee ṣe. Yi "ẹkọ" yoo wa ni ilọsiwaju, ati awọn eniyan yoo gba awọn ti o fẹ esi.

apere 2

Ro awọn apẹẹrẹ kannaa ninu eyi ti nibẹ jẹ ẹya ayida (¬), disjunction (∧), awọn apapo (∨) ati awọn lowo (⇒) ati orisirisi miran. Ni iru awọn gbigbasilẹ ti awọn aworan le wa ni fun bi:

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

Bi awọn kikọ A, B, C, aropo awọn oniyipada ati awọn ti o gba awọn mogbonwa mosi. Nibo ni lati waye lodo ede ti yi iru? Awọn lilo ni ibigbogbo ti iru a siseto wa ni ri ni siseto ede, mathimatiki, ibasepo, mogbonwa ati mathematiki iṣẹ, tabi awọn ẹya ara ti eyi ti a ti se apejuwe nipasẹ awọn komputa.

apere 3

Jẹ ká wo ni a eka sii mogbonwa fomula:

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

Ti o ni idi ti a nilo lodo ede. Fojuinu ohun ti yoo ti sele ti o ba ti o ti se apejuwe ninu awọn ọrọ? Bayi, o da lori a agbekalẹ ti a ṣe amujade ipinnu. O nilari expressions le wa ni gba ni awọn lodo ede nikan nigbati awọn ofin ti wa ni bọwọ ami-Ibiyi, iyipada ati "oye" ti awọn fomula ati awọn ofin ti awọn ti won ti wa ni ṣe:

1. Ikole igba fomula ati;
2. Iwadi ti awọn atunmọ aspect ati itumọ;
3. Ọkọọkan awọn ọkan ninu awọn fomula ati awọn miiran oro.

Kọọkan lodo ede yẹ ki o wa daradara mulẹ ṣeto ti ofin.

apere 4

Nitori niwaju ninu awọn ofin ti awọn ede sintasi wu wa fun ofin ati fomula le wa ni ṣe isomorphic transformation si dede. Ki o yoo wa ni ti gbe jade ko nikan ni otito (oniduro ti) kan pato ara ti imo ti tẹlẹ wa, ṣugbọn o le gba titun alaye. Jubẹlọ, awọn transformation, tilẹ, ati ki o yoo gba ibi ni ibamu si ko o ki o muna ofin, o le ṣee aládàáṣiṣẹ. Iru imuposi wa ni lo ninu iwé ọna šiše, imo ìtẹlẹ, ati software ipinnu support awọn ọja.

ipari

Lodo ede wa ni o gbajumo ni lilo ninu Imọ, paapa ninu awọn aworan. Nigba ti ijinle iwadi ati awọn imuse ti wulo akitiyan won le se nlo pẹlu awọn adayeba, ni view ti awọn akude expressive ipa ti awọn igbehin. Sibẹsibẹ lodo ede le diẹ sii parí mule imo ati lati gbe jade ohun ohun to paṣipaarọ ti alaye akojo nipa aráyé.