Apa basa formal bisa lantaran? conto panggunaan

Apa basa formal lan carane iku bedo saka alam? Cara iki kawangun? Apa basa formal bisa lantaran? Lan iku digunakake kanggo ngrujuk dhèwèké?

Ciri basa formal

Supaya kita nelpon klompok basa Ponggawa, kang ditondoi dening aturan pas gegayutan pambangunan ungkapan, uga pangerten. sistem digunakake kanggo tujuan industri bisa lantaran kanggo basa formal. Lagi dibangun ing selaras karo aturan cetha, nyedhiyani tampilan konsisten, kompak lan pas situs lan hubungan saka sinau area subyek utawa obyek maringi tulodho. Nilai lan makna saka tandha ora bisa diganti dening sembarang fitur pragmatic (nggunakake context). Iki bisa thanks menyang ngarsane ing basa formal aturan saka konversi sintaks lan interpretasi semantik. Tanduran iki sering dibangun nggunakake minangka basa matématika. Amarga kasunyatan sing, ing kabèh span pembangunan, digunakake macem-macem sebatan simbolis wis Applied kanggo macem-macem konsep lan obyek. Sing apa perlu basa formal. Padha bisa Ngartekno nyuda data. Sadurungé, bebarengan karo basa formal lan alam wis digunakake, nanging karo komplikasi bertahap saka subyek lan perlu kanggo nggawe analisis logis ketat nalar matématika, iku iki mutusaké kanggo ninggalake sasi. Proses iki langgeng saka XVII kanggo abad XX. Iku abad suwene wis dianggep paling subur ing syarat-syarat basa formal. macem-macem cabang khusus digawe. Dadi, kanggo èlmu komputer sing languages wigati lan aljabar logika, ora mung teori, nanging uga saka titik praktis saka tampilan.

definisi

Apa basa formal bisa lantaran, kita kudu wis sedhela diterangno. Nanging apa bisa kita ngomong bab wong-wong mau? basa formal diwenehi akèh definisi. Kanggo dhaftar mau kabeh, bakal ninggalake akèh wektu, supaya njupuk dipikir ing paling populer:

1. A dhaftar prasaja saka tembung ing basa - biasane ngomong supaya bab jinis final saka construction lan gedhe-gedhe sing duwe struktur prasaja.
2. Liyane kui dening grammar formal tartamtu.
3. Struktur digawe dening biasa ungkapan.
4. Liyane kui dening BPF-desain.
5. Struktur, ditepungi dening bot wates.

Ayo kang katon ing conto. Ayo dadi ngomong kita kudu wutuh aksara, diwenehi nomer loro 1 lan 0. Kanggo nampilake huruf "O", digunakake kombinasi 1010001. Iki nggunakake basa formal. Sampeyan uga bisa nggunakake tembung kosong (nalika senar wis nul dawa, lan ana apa-apa) karo sebutan khusus ing wangun menowo kanggo kita. Nanging ing liyane rinci kanggo ngerti apa iku basa resmi, bantuan 4 conto sing bakal diwenehi sabanjuré. Apa iku apa? Kanggo pangerten maca kang ana sing basa formal bisa lantaran. Nanging sing sethitik liyane babagan carane lagi digawe.

Konstruksi basa formal

Saben basa punika struktur formal sing digawé bebarengan lan wong. Padha biasane dibangun ing pola padha:

1. Kanggo miwiti, milih aksara, utawa sawetara pesawat saka karakter tartamtu sing bakal dibangun lan ungkapan digunakake ing basa kasebut. Miturut basa formal sembarang cara kanggo program nggunakake komputer.
2. Iku describes ing ukara, sing, ciri lan aturan-aturan kang mbangun sentences migunani.
3. On aturan tartamtu tembung lan ungkapan. Kene ana aturan: sembarang urutan aksara kudu bisa Count tembung.

Miturut basa formal nuduhake sembarang struktur sing wis aturan cetha - iku kudu eling. Nalika bangunan, ana sawetara fitur. Mula, istilah "karakter" banget multi-fungsi ing syarat-syarat makna, supaya kanggo sisih paling dipigunakaké minangka "huruf". Nanging ing ngisor mau bisa mangertos ora mung ing seratan biasanipun kanggo kita, nanging uga ing kelompok, karakter khusus, lan liyane. Iki kanggo nèng saubenging mung kanggo basa formal.

CONTO 1

Ayo dadi miwiti karo 1 lan 0. Ing kasus kaya mengkono, nggunakake liyane konsep "tembung" lan "rumus." Pisanan tumindak minangka analog saka obyek lan jeneng sing dipigunakaké kanggo deleng soko tartamtu. Kaping kabeh ngerti ajeg lan variabel individu ing wong. Saka cacah iki mau, ing siji, mbangun struktur liyane Komplek, kang digunakake digunakake ing sawetara fungsi basa. Miturut syarat-syarat grup ngerti rumus, nggunakake kang ing basa pamrograman tartamtu bisa. "Instruction" Iki bakal diproses, lan wong bakal kasil sing dipengini.

CONTO 2

Coba conto logika kang ana lan bantahan (¬), disjunction (∧), magepokan ing (∨) lan akibat (⇒) lan saperangan liyane. Ing rekaman kuwi saka gambar bisa diwènèhaké minangka:

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

Minangka karakter A, B, C, sulih variabel lan njaluk operasi logis. Where to aplikasi basa formal saka jinis iki? Panggunaan nyebar saka mekanisme kuwi wis ditemokaké ing basa program, matématika, sesambetan, fungsi logis lan matématika, utawa bagéan saka kang wis diterangake dening Programmer ing.

CONTO 3

Ayo kang katon ing rumus logis liyane Komplek:

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

Pramila kita perlu basa formal. Mbayangno apa wis kedaden yen iki diterangake ing tembung? Saiki, adhedhasar rumus kita deduce Serat. ungkapan migunani bisa dijupuk ing basa formal mung nalika aturan tartamtu sing dihormati wis tatanan, owah-owahan lan "pangerten" saka rumus lan syarat-syarat kang lagi digawe:

1. rumus term India;
2. Study of aspek semantik lan interpretasi;
3. Ing urutan siji saka rumus lan istilah liyane.

Saben basa formal kudu uga diadegaké sawijining sèt aturan.

CONTO 4

Amarga ing ngarsane ing aturan saka output ukara basa kanggo istilah lan formula bisa digawe model transformasi isomorphic. Dadi bakal digawa metu ora mung bayangan (perwakilan saka) awak tartamtu kawruh sing wis ana, nanging uga nampa informasi anyar. Menapa malih, pepindahan, sanadyan, lan bakal njupuk Panggonan miturut aturan cetha lan ketat, iku bisa otomatis. Techniques digunakake ing sistem pakar, dhasar kawruh, lan produk support kaputusan lunak.

kesimpulan

basa formal sing digunakake digunakake ing ilmu, utamané ing gambar. Sajrone riset ilmiah lan implementasine saka aktivitas praktis padha bisa sesambungan karo alam, ing tampilan saka kabisan ekspresif owahan saka terakhir. Nanging basa formal bisa luwih kanthi ngirim kawruh lan kanggo nindakake ijol adil informasi nambah dening manungsa.