Naon basa formal bisa attributed? conto pamakéan

Naon bahasa formal na kumaha eta beda jeung alam? Kumaha eta diwangun? Naon basa formal bisa attributed? Sarta biasa dipaké pikeun nujul ka anjeunna?

Ciri tina basa formal

Sangkan nelepon grup basa jieunan, nu dicirikeun ku aturan hade ngeunaan pangwangunan ungkapan, kitu ogé pamahaman maranéhanana. Sistem dipake keur kaperluan industri bisa attributed ka basa formal. Éta téh diwangun dina patuh kana aturan jelas, nyadiakeun tampilan konsisten, ci tur tepat sahiji sipat sarta hubungan anu diulik aréa matuh atawa objék dimodelkeun. Nilai jeung harti tanda teu bisa dirobah ku cara naon baé fitur pragmatik (ngamangpaatkeun kontéks éta). Ieu mungkin berkat ayana dina basa formal tina aturan konversi sintaksis jeung interpretasi semantik. Éta téh mindeng diwangun ngagunakeun salaku dasar matematika. Alatan kanyataan yén éta, dina sakabeh bentang pembangunan, dipaké rupa-rupa rancangan simbolis geus dilarapkeun ka rupa-rupa konsep jeung objék. Éta naon perlu basa formal. Éta bisa nyata ngurangan data. Tadi marengan basa formal jeung alam geus dipaké, tapi jeung komplikasi bertahap tina subjek jeung kudu make analisis logis ketat ngeunaan penalaran matematik, ieu mutuskeun pikeun abandon kaliwat. proses ieu lumangsung ti XVII ka abad XX. Éta panungtungan abad dianggap paling fruitful segi basa formal. rupa cabang husus anu dijieun. Ku kituna, pikeun elmu komputer téh tina basa programming pentingna tinangtu jeung aljabar logika, teu ngan teoritis, tapi ogé ti titik praktis of view.

panjelasan

Naon basa formal bisa attributed, urang kudu geus sakeudeung dipedar. Tapi naon bisa kami nyebutkeun ngeunaan aranjeunna? basa formal dirumuskeun loba definisi béda. Pikeun daptar kabeh, bakal ninggalkeun loba waktu, jadi butuh katingal di pang populerna:

1. Daptar basajan kecap dina basa - biasana ngomong kitu kalayan hormat ka tipe ahir konstruksi sarta ngeunaan leuwih nu mibanda struktur basajan.
2. Kecap dihasilkeun ku grammar formal tangtu.
3. Struktur dijieun ku ungkapan biasa.
4. Kecap dihasilkeun ku BPF-desain.
5. Struktur, recognizable ku automaton terhingga.

Hayu urang nempo conto. Hayu urang nyebutkeun urang gaduh sakabeh abjad, tinangtu dua nomer 1 na 0. Pikeun nembongkeun hurup "O", urang make kombinasi 1010001. Ieu pamakéan basa formal. Ieu oge mungkin migunakeun kecap kosong (lamun string miboga enol panjangna, sarta aya nanaon) sareng designation husus dina formulir wawuh ka Kami. Tapi beuki jéntré ngartos naon basa formal, mantuan 4 conto anu bakal dibikeun salajengna. Naon eta ngalakukeun? Pikeun pamahaman maca urang éta yén basa formal bisa attributed. Tapi saeutik leuwih ngeunaan kumaha aranjeunna nu dijieun.

Pangwangunan basa formal

Tiap basa mangrupakeun struktur formal anu dijieun sakali jeung batur. Éta téh biasana diwangun dina pola anu sarua:

1. Pikeun ngawitan, milih hurup, atawa sababaraha susunan karakter husus anu bakal diwangun jeung ungkapan dipaké dina basa Sunda. Ku basa formal anu cara naon baé kana program ngagunakeun komputer.
2. Ieu ngagambarkeun rumpaka, nyaeta, ciri jeung aturan anu bakal ngawangun kalimat bermakna.
3. Dina aturan nu tangtu for kata jeung ungkapan. Di dieu aya aturan: sagala réntétan hurup kedah tiasa kaétang kecap.

Ku basa formal nujul kana sagala struktur nu boga aturan jelas - kudu inget. Nalika gedong, aya sababaraha fitur. Ku kituna, istilah "karakter" pisan multi-fungsi tina segi harti, sahingga pikeun bagian paling dipake istilah salaku "hurup". Tapi underneath aranjeunna bisa dipikaharti teu mung notasi dawam pikeun kami, tapi ogé kurung, karakter husus, sarta leuwih. Ieu lumaku ngan pikeun basa formal.

conto 1

Hayu urang mimitian ku 1 jeung 0. Dina kasus kawas, nganggo langkung konsep "istilah" jeung "rumusna". Kahiji tindakan minangka hiji analog obyék sarta ngaran dipaké pikeun nujul ka hal husus. Mimiti sadayana ngartos ka konstanta sarta variabel individu dina aranjeunna. Tina ieu, kahareupna ngawangun struktur nu leuwih kompleks, anu geus dipaké dipaké dina sababaraha fungsi basa. Dina istilah kelompok ngartos rumus, pamakéan anu dina basa programming nu tangtu nyaéta dimungkinkeun. "Instruksi" Ieu bakal diprosés, sarta jalma bakal meunang hasil nu dipikahoyong.

contona 2

Mertimbangkeun conto logika nu aya hiji inversion (¬), disjunction (∧), ditéang éta (∨) jeung implication (⇒) jeung sababaraha nu lianna. Dina rekaman sapertos gambar bisa dirumuskeun saperti:

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

Salaku karakter A, B, C, ngagantikeun variabel sarta anjeun meunang operasi logis. Dimana panawaran basa formal tipe ieu? Pamakéan nyebar tina mékanisme saperti anu kapanggih dina basa programming, matematik, hubungan, fungsi logis tur matematik, atawa bagéan nu geus dijelaskeun ku programmer di.

conto 3

Hayu urang nempo hiji rumus logis leuwih kompleks:

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

Kusabab kitu urang kedah basa formal. Hayangna naon anu geus kajadian lamun eta ieu dijelaskeun dina kecap? Kiwari, dumasar rumus kami deduce conclusions. ungkapan bermakna tiasa didapet dina basa formal wungkul lamun aturan nu tangtu anu dimangfaatkeun pre-formasi, robah na "pamahaman" tina rumus sarta watesan nu aranjeunna dijieun:

1. Rumusna istilah konstruksi na;
2. Ulikan ngeunaan aspék semantis na interpretasi;
3. Urutan salah sahiji Rumusna jeung istilah lianna.

Tiap basa formal kudu ogé ngadegkeun diatur aturan.

conto 4

Alatan ayana dina aturan kaluaran sintaksis basa keur istilah na Rumusna bisa dijieun model transformasi isomorphic. Ku kituna eta bakal dilumangsungkeun teu ukur cerminan ti (ngagambarkeun) awak husus pangaweruh nu geus nyampak, tapi bisa nampa informasi anyar. Leuwih ti éta, transformasi, sanajan, jeung bakal lumangsung nurutkeun aturan jelas tur ketat, éta bisa otomatis. téhnik sarupa anu dipaké dina sistem ahli, basa pangaweruh, jeung produk decision support software.

kacindekan

basa formal anu loba dipaké dina elmu, utamana dina kasenian. Salila panalungtikan ilmiah jeung palaksanaan kagiatan praktis aranjeunna tiasa berinteraksi jeung alam, dina pandangan nu abilities ekspresif considerable sahiji dimungkinkeun. Acan basa formal bisa leuwih akurat nepikeun pangaweruh jeung pikeun ngalaksanakeun hiji bursa obyektif inpormasi akumulasi ku umat manusa.