Çi ji zimanên fermî yên dikare yekser? wergerandî yên bikaranîna

di zimanê devkî de çi ye û çawa ew ji xwezayî de jî cihê ye? Çawa ava bû? Çi ji zimanên fermî yên dikare yekser? Û ku ji bo girtina wî?

Taybetiyên zimanên fermî yên

Bi vî awayî em ji komek bang zimanan sûnî, bi ya ku ji aliyê rêbazên rastîn di derbarê avakirina têgînên ku, her weha têgihiştina xwe bilêv. pergalên ji bo armancên sinaî dikare bi zimanên fermî yên bi jîder. Ew bi daneyî, bi gorî qaîdeyên zelal avakirin, ne display hevgirtî, nasandin û vebir li milkên û têkiliyên lêkolîn herêma mijara an objects nûmayîşên. Buhaya û meaning of daxa dikarin ji aliyê ti taybetmendiyên pragmatîk (bikaranîna çarçoveya) ne bê guhertin. Ev bi saya mimkun e ku ji ber ku di zimanê fermî yên qaîdeyên digîhîje syntax û şirovekirina (semantic) e. Ew gelek caran bi bikaranîna wek bingeheke ji matematîkê avakirin. Ji ber ku ji ber ku ew, li ser tevahiya span pêşketina, bikaranîn cîhêreng ên kurdî sembolîk, ji bo zor ji têgehên û objects serî dîtin. Ji ber vê çi zimanên fermî re lazim e. Ew dikane pareke welat kêm bike. Berî, ku ligel zimanên fermî û xwezayî hatine bikaranîn, di heman demê de bi tevlîheviya hêdî ya ku mijar û pêwîstî bi lêhûrbûneke mentiqî de hişk ya minaqeşeyên matematîkî, biryar hate girtin ku dev ji dema borî de. Ev pêvajo ji hevdehan de ji sedsala XX dom kir. Ev e, di sedsala borî de berdar di warê zimanên fermî binêrin. baskên cihê taybet de hatine afirandin. Bi vî awayî, ji bo zanistê komputerê yên zimanan bernameyên girîngiyeke taybetî û cebîrê ji mantiqa in, ne bi tenê teorîk de, di heman demê de jî ji xala pratîk ên nîşan bide.

pênase

Çi ji zimanên fermî yên dikarin bên bi jîder, em niha bi kurtî rave dike. Lê belê tiştê ku em li ser wan dibêjin? zimanê fermî, gelek ji salixdanên cuda dayîn. Ji wan re lîsteya hemû, wê gelek ji dema xwe de, da hun lê binêrin ku herî populer:

1. A list sade ji gotinên di zimanê - bi piranî yekê dibêjim, bi rêzgirtina ji bo cureyê dawî ya avakirina û li ser yên ku xwedî binesaziyeke hêsan e.
2. Words bi giştî ji aliyê rêzimana fermî hebû.
3. Struktura afirandin ji aliyê îfadeyên bi rêkûpêk.
4. Peyvên ku di BPF-design.
5. Ev binyat, nabin bi robot dunyayê.

Ka em li mînaka binêre. Werin, em dibêjin em xwedî hemû alphabet, dayîn, du hejmarên 1 û 0. Ji bo vekirina vê nameyê "O", em bi kar tînin yek ji 1010001. Ev bikaranîna zimanê fermî ye. Ev jî mimkun e ji bo bikaranîna peyvên vala (gava ku string heye length sifir, û tiştek tune ye) bi a teklîfê taybetî li forma nas ji me re. Lê belê di detail zêdetir fêm çi bikin zimanê fermî ye, alîkariya 4 wergerandî ku bê dayîn dê. Çi bikim? Ji bo têgihiştina xwendevanan bû ku ji zimanê fermî dikare yekser. Lê belê, hinekî din jî li ser wan çawa tên afirandin bi.

Construction ji zimanên fermî yên

Her ziman avasazîya fermî ku carekê û kesek hate afirandin e. Ew bi piranî li ser heman avakirin:

1. Ji bo dest, alfabêya, an hin set of characters taybet ku bên çêkirin û têgînên ku têne bikaranîn di zimanê hilbijêre. By zimanê fermî bi ti awayî di bernameya kar a komputerê ye.
2. Ev hevoksaziya, ew e ku, taybetmendî û rêbazên ku wê hevokên watedar avakirina de rave dike.
3. Li gor hin qaîdeyan bo peyv û têgînên. Va ye, desthilata li wir: her cihekê nameyên, divê karibin count peyvên be.

By zimanê fermî tê wateya ku tu avaniya ku bi qaîdeyên zelal - jî, divê bê bibîranîn. Dema ku avakirina, hin taybetmendiyên wê derê. Bi vî awayî, peyva "karaktera" pir pir karîger di warê wate ye, wusa jî ji bo yên ku herî peyvê wekî "nameyek" tê bikaranîn. Lê binê wan re dikare were fêmkirin ne bi tenê dikarî li ser jimara berê, ji bo me, di heman demê de jî ji bixemilînî, characters taybet, û zêdetir. Ev tenê ji bo zimanên fermî yên derbas dibe.

MÎNAK 1

Werin, em bi 1 û 0. dest bi Di van rewşan de, bi kar tînin zêdetir têgeha "term" û "formula." Di destpêkê de wek analogue ji object û navê bikaranîn, ji zihniyeta ku tiştekî taybetî tevbigere. First of hemû constants û guherbarên takekesî di bin wan fêm bikin. Ji van, li dorê, ava strukturên tevlihevtir e, ku bi kar bikaranîn, di hinek fonksiyona ziman. Di bin banê koma fêm formula, bikaranîna ku di zimanê bernameyên hin gengaz e. Ev "instruction" bê hêrandî wê, û mirov dê di encama tê xwestin bi dest.

Mînak 2

mantiqa nimûne li ku ye an jî nîflanî (ª), disjunction li wir hizrên xwe (∧), xaçerêya (∨) û başiya (⇒) û çend kesên din. Di rewşeke wisa de, qeyda images dikare wek dayîn:

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

Wek ku characters A, B, C, bixistana fakter û hûn dest ji operasyonên herî maqûl. Where to derbas zimanên fermî yên bi vî rengî? Bi firehî bikaranîna Mekanîzmayeke bi vî rengî ku di zimanên bernameyên, matematîk, têkiliyên, fonksîyon mantiqî û matematîkî, an parçeyên ku ji aliyê programevaneke şirove hatine dîtin.

MÎNAK 3

Werin em li formûlên tevlihevtir mentiqî de binêrin:

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

Ji ber vê yekê em du zimanên fermî yên pêwîst. Bifikirin, ka wê çi qewimîne, eger ew di gotinên xwe şirove kirin? Îcar, li ser formula em encamên dertê. têgînên ku divên û dikare di zimanê fermî dest bi tenê dema ku hin qaîdeyan bi pre-damezirandina, guhertin û "têgihîştina" ji formûlên û şertên ku ew made bi rêz:

1. formulas term Construction û;
2. Mijar ji aliyê semantîk û şîrovekirin;
3. Bûyer yek ji formûlên û din term.

Her zimanê fermî, divê baş were ava set of qaîdeyên.

MÎNAK 4

Ji ber ku hebûna li qaîdeyên encam syntax zimanê ji bo mercên û formûlên dikare modelên transformation isomorphic çêkirin. Ji ber vê yekê wê ji ne tenê neynika (temsîliyeta) bedena taybetî yên zanîna ku jixwe heye hatiye lidarxistin, di heman demê de dibe ku agahiyên nû bistîne. Ji bilî wê, transformation, tevî, û wê cihê xwe li gor qaîdeyên zelal û hişk bigire, lê dikare were automated. teknîkên manend ên di bikaranîn sîstemên pispor, bingehên zanînê, û berhemên piştgiriya software biryar.

encamê de

zimanên fermî bi awayekî berfireh li zanistê, bi taybetî di hunerê de tê bikaranîn. Di dema lêkolînên zanistî û pêkanîna xebatên pratîkî ew dikarin bi xwezayî li gor şiyana xwe jî girîng ji ya dawîyê de tekilî,. Lê zimanên fermî rastir dikarin ragihîne zanîn û avabûye ji bo danûstandina armanca agahî bi dest xistî destê mirovahiyê.