Ano ang pormal na wika ay maaaring maiugnay? halimbawa ng paggamit

Ano ang pormal na wika at kung paano ito naiiba mula sa likas na? Paano ito ay nabuo? Ano ang pormal na wika ay maaaring maiugnay? At ito ay ginagamit upang sumangguni sa kanya?

Mga katangian ng pormal na wika

Kaya kami ay tumawag sa isang grupo ng mga artipisyal na wika, na kung saan ay nailalarawan sa pamamagitan ng tumpak na mga patakaran tungkol sa pagtatayo ng mga expression, pati na rin ang kanilang pang-unawa. mga sistema na ginagamit para sa pang-industriyang mga layunin ay maaaring maiugnay sa mga pormal na mga wika. Ang mga ito ay binuo sa pagsunod sa mga malinaw na mga panuntunan, ay nagbibigay ng pare-pareho, compact at tumpak na display ng mga katangian at mga relasyon sa mga aral ng subject na lugar o imo-modelo mga bagay. Ang halaga at kahulugan ng mga markang pang hindi maaaring mapalitan sa pamamagitan ng anumang mga praktiko mga tampok (ang paggamit ng konteksto). Ito ay posible salamat sa presensya sa pormal na wika ng mga patakaran ng syntax ng conversion at semantic pagbibigay kahulugan. Sila ay madalas na binuo gamit bilang basehan ng matematika. Dahil sa ang katunayan na ang mga ito, sa buong span ng pag-unlad, na ginagamit ng iba't-ibang mga symbolic titulo ay maaaring ipatupad sa isang iba't ibang mga konsepto at mga bagay. Iyan ay kung ano ang kailangang pormal na wika. Maaari silang makabuluhang bawasan ang data. Bago ito, kasama ang mga pormal na at natural na mga wika ay ginagamit, ngunit sa unti-unting pagkamagulo ng mga paksa at ang pangangailangan na gumawa ng isang mahigpit na lohikal na pag-aaral ng matematikal na pangangatwiran, ito ay nagpasya upang iwanan ang nakaraan. Ang prosesong ito ay tumagal mula sa XVII na siglo XX. Ito ay ang huling siglo ay itinuturing na ang pinaka-mabunga sa mga tuntunin ng pormal na wika. iba't-ibang espesyal na mga sanga nangalikha. Kaya, para sa computer science ay ng mga partikular na wika kahalagahan programming at ang algebra ng lohika, hindi lamang panteorya, ngunit din mula sa isang praktikal na punto ng view.

depinisyon

Ano ang pormal na wika ay maaaring maiugnay, kami ay may nai dagli ipinaliwanag. Ngunit ano ang maaari naming sabihin tungkol sa mga ito? Pormal na wika ay bibigyan ng isang pulutong ng mga iba't ibang mga kahulugan. Upang ilista ang mga ito ang lahat, ito ay mag-iwan ng maraming oras, kaya tingnan ang mga pinaka-popular:

1. Ang isang simpleng listahan ng mga salita sa wikang - karaniwang sabihin mo na may paggalang sa ang pangwakas na uri ng konstruksiyon at ang tungkol sa mga na may isang simpleng istraktura.
2. Mga salita na nabuo sa pamamagitan ng isang tiyak na pormal na grammar.
3. Ang istraktura nilikha sa pamamagitan ng regular na expression.
4. Mga salita na nabuo sa pamamagitan ng BPF-disenyo.
5. Ang istraktura, nakikilala sa pamamagitan ng isang may hangganan automaton.

Tingnan natin ang isang halimbawa. Sabihin nating mayroon kaming ang buong alpabeto, na ibinigay dalawang numero 1 at 0. Upang ipakita ang mga titik "O", gumagamit kami ng isang kumbinasyon ng mga 1010001. Ito ay ang paggamit ng isang pormal na wika. Ito rin ay posible na gamitin ang walang laman na mga salita (kapag ang string ay may zero haba, at walang anuman) na may isang espesyal na pagtatalaga sa anyo pamilyar sa amin. Ngunit sa mas maraming mga detalye upang maunawaan kung ano ay isang pormal na wika, tulungan 4 halimbawa na ibibigay sa susunod. Ano ang ginagawa nito? Upang pag-unawa ng mambabasa ay na ang isang pormal na wika ay maaaring maiugnay. Ngunit ng kaunti pa tungkol sa kung paano sila ay nilikha.

Construction ng pormal na wika

Ang bawat wika ay isang pormal na istraktura na ay nilikha nang isang beses at isang tao. Karaniwang mga ito ay binuo sa parehong pattern:

1. Upang magsimula, piliin ang mga alpabeto, o ang ilang mga hanay ng mga tiyak na mga character na iyon ay binuo at expression na ginagamit sa wika. Sa pamamagitan ng pormal na wika ay anumang paraan sa programa gamit ang isang computer.
2. Inilalarawan nito ang syntax, iyon ay, mga katangian at mga patakaran na magtatayo ng makabuluhang pangungusap.
3. Sa ilang mga panuntunan para sa mga salita at mga expression. Narito doon ay isang panuntunan: anumang pagkakasunud-sunod ng mga titik ay dapat na magagawang upang mabilang salita.

Sa pamamagitan ng pormal na wika ay tumutukoy sa anumang istraktura na may malinaw na mga panuntunan - ito ay dapat na remembered. Kapag ang gusali, may mga ilang mga katangian. Kaya, ang mga salitang "character na" ay tunay na multi-functional sa mga tuntunin ng kahulugan, kaya para sa karamihan ng bahagi na ginagamit ang termino bilang isang "titik". Ngunit sa ilalim kanila ay maaaring maunawaan hindi lamang ang karaniwang pagtatanda para sa amin, kundi pati na rin ng mga bracket, mga espesyal na mga character, at higit pa. Nalalapat lamang ito sa pormal na wika.

EXAMPLE 1

Magsimula tayo sa 1 at 0. Sa mga naturang kaso, gamitin ang higit pa sa konsepto ng "salitang" at hayaan ang "formula." Ang unang ay gumaganap bilang isang analogue ng object at ang pangalan na ginagamit upang sumangguni sa isang bagay na tiyak. Una sa lahat maunawaan ang mga constants at mga indibidwal na mga variable sa ilalim ng mga ito. Sa mga ito, siya namang, bumuo ng mas kumplikadong kaayusan, na kung saan ay ginagamit ginagamit sa ilang mga pag-andar wika. Sa ilalim ng mga tuntunin ng grupo na maunawaan ang mga formula, ang paggamit ng mga na sa isang tiyak na wika programming ay posible. Ang "pagtuturo" ay ipoproseso, at ang tao ay makuha ang ninanais na resulta.

EXAMPLE 2

Isaalang-alang ang halimbawa logic kung saan mayroong isang pagbabaligtad (¬), pagtanggal (∧), ang pagsama (∨) at ang implikasyon (⇒) at ilang mga iba. Sa naturang mga pag-record ng mga imahe ay maaaring ibinigay ng:

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

Tulad ng ang mga character na A, B, C, kapalit ang mga variable at makakakuha ka ng mga lohikal na operasyon. Saan mag-apply pormal na wika na may ganitong uri? Ang lakit paggamit ng mga naturang isang mekanismo ay natagpuan sa programming wika, matematika, mga relasyon, lohikal at matematika pag-andar, o mga bahagi ng kung saan ay inilarawan sa pamamagitan ng mga programmer.

EXAMPLE 3

Tingnan natin ang isang mas kumplikadong lohikal na mga formula Let:

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

Iyon ang dahilan kung bakit kailangan namin ng pormal na wika. Isipin kung ano ang maaaring nangyari kung ito ay inilarawan sa mga salita? Ngayon, batay sa isang formula pagbatayan natin konklusyon. Makabuluhan expression ay maaaring makuha sa pormal na wika lamang kapag ang ilang mga panuntunan ay iginagalang pre-pagbuo, pagbabago at "unawa" ng mga formula at mga tuntunin ng kung saan sila ay ginawa:

1. Construction matagalang pormula at;
2. Pag-aaral ng semantiko aspeto at interpretasyon;
3. Ang pagkakasunod-sunod ng isa sa mga formula at iba pang mga term.

Ang bawat pormal na wika ay dapat na maayos na itinatag magtakda ng mga panuntunan.

EXAMPLE 4

Dahil sa pagkakaroon sa mga patakaran ng wika syntax output para sa mga tuntunin at mga formula ay maaaring gawin isomorphic modelo transformation. Kaya ito ay natupad hindi lamang ang reflection (representasyon ng) isang tiyak na katawan ng kaalaman na mayroon na, ngunit maaaring makatanggap ng bagong impormasyon. Dagdag pa rito, ang pagbabago, bagaman, at ay magaganap ayon sa malinaw at mahigpit na mga panuntunan, maaari itong awtomatiko. Katulad na mga pamamaraan ay ginagamit sa mga ekspertong system, naka-base kaalaman, at mga produkto ng software na desisyon support.

konklusyon

Pormal na wika ay malawakang ginagamit sa agham, lalo na sa art. Sa panahon ng pang-agham na pananaliksik at pagpapatupad ng mga praktikal na mga gawain maaari silang makipag-ugnayan sa natural, sa view ng mga mumunti nagpapahayag kakayahan ng huli. Ngunit pormal na wika ay maaaring mas tumpak na ihatid ang kaalaman at upang isakatuparan ang isang layunin palitan ng mga impormasyon na naipon sa pamamagitan ng sangkatauhan.