Apa yang perlu bahasa formal boleh dikaitkan? contoh penggunaan

Apakah bahasa yang formal dan bagaimana ia berbeza dari semula jadi? Bagaimana ia terbentuk? Apa yang perlu bahasa formal boleh dikaitkan? Dan ia digunakan untuk merujuk kepada-Nya?

Ciri-ciri bahasa formal

Jadi, kita harap sekumpulan bahasa buatan, yang disifatkan oleh kaedah-kaedah yang tepat mengenai pembinaan ungkapan, serta pemahaman mereka. sistem yang digunakan untuk tujuan industri boleh dikaitkan dengan bahasa formal. Ianya dibina dengan mematuhi peraturan yang jelas, menyediakan paparan konsisten, padat dan tepat sifat-sifat dan hubungan-hubungan yang dikaji bidang subjek atau objek dimodelkan. Nilai dan makna daripada markah tidak boleh diubah oleh mana-mana ciri-ciri pragmatik (penggunaan konteks). Ini mungkin terima kasih kepada kehadiran dalam bahasa formal peraturan penukaran sintaks dan tafsiran semantik. Mereka sering dibina menggunakan sebagai asas matematik. Kerana kenyataan bahawa, pada keseluruhannya rentang pembangunan, menggunakan pelbagai jawatan simbolik telah digunakan untuk pelbagai konsep dan objek. Itulah yang memerlukan bahasa formal. Mereka boleh mengurangkan data. Sebelum itu, bersama-sama dengan bahasa rasmi dan semulajadi yang telah digunakan, tetapi dengan komplikasi secara beransur-ansur subjek dan keperluan untuk membuat analisis logik yang ketat penaakulan matematik, ia telah memutuskan untuk meninggalkan masa lalu. Proses ini berlangsung dari XVII untuk abad XX ini. Ia adalah abad yang lalu dianggap sebagai yang paling berhasil dari segi bahasa formal. pelbagai cawangan khas diciptakan. Jadi, untuk sains komputer adalah satu bahasa pengaturcaraan tertentu kepentingan dan algebra logik, bukan hanya teori, tetapi juga dari sudut praktikal.

definisi

Apa yang perlu bahasa formal boleh dikaitkan, kita telah pun secara ringkas menjelaskan. Tetapi apa yang kita boleh katakan tentang mereka? bahasa formal diberi banyak definisi yang berbeza. Untuk menyenaraikan mereka semua, ia akan meninggalkan banyak masa, jadi kita lihat yang paling popular:

1. Senarai mudah perkataan dalam bahasa - biasanya berkata demikian berkenaan dengan jenis yang akhir pembinaan dan mengenai orang-orang yang mempunyai struktur yang mudah.
2. Kata-kata yang dihasilkan oleh tatabahasa formal tertentu.
3. Struktur dicipta oleh ungkapan biasa.
4. Kata-kata yang dihasilkan oleh BPF-reka bentuk.
5. Struktur, dikenali oleh automata terhingga.

Mari kita lihat contoh. Katakan kita mempunyai seluruh abjad, diberi dua nombor 1 dan 0. Untuk memaparkan huruf "O", kami menggunakan gabungan 1010001. ini ialah penggunaan bahasa formal. Ia juga adalah mungkin untuk menggunakan kata-kata kosong (apabila tali mempunyai panjang sifar, dan ada apa-apa) dengan jawatan khas dalam bentuk yang kita kenali. Tetapi dengan lebih terperinci untuk memahami apa yang adalah bahasa rasmi, membantu 4 contoh yang akan diberikan akan datang. Apa yang ia buat? Kepada pemahaman pembaca adalah bahawa bahasa formal boleh dikaitkan. Tetapi sedikit lebih lanjut mengenai bagaimana ia diciptakan.

Pembinaan bahasa formal

Setiap bahasa adalah satu struktur formal yang telah diwujudkan sekali dan seseorang. Mereka biasanya dibina di atas corak yang sama:

1. Untuk memulakan, memilih abjad, atau beberapa set aksara tertentu yang akan dibina dan ungkapan yang digunakan dalam bahasa. Oleh bahasa formal apa-apa cara untuk program menggunakan komputer.
2. Ia memerihalkan sintaks, iaitu, ciri-ciri dan kaedah-kaedah yang akan membina ayat yang bermakna.
3. Pada kaedah-kaedah tertentu untuk perkataan dan ungkapan. Di sini ada peraturan: mana-mana urutan huruf mesti berupaya untuk mengira perkataan.

Dengan bahasa formal merujuk kepada mana-mana struktur yang mempunyai peraturan yang jelas - ia harus diingat. Apabila membina, terdapat beberapa ciri-ciri. Oleh itu, istilah "watak" adalah sangat pelbagai fungsi dari segi makna, jadi sebahagian besar menggunakan istilah sebagai "huruf". Tetapi di bawah mereka boleh difahami bukan sahaja notasi biasa bagi kita, tetapi juga dalam kurungan, aksara khas, dan banyak lagi. Ini hanya terpakai kepada bahasa formal.

CONTOH 1

Mari kita mulakan dengan 1 dan 0. Dalam kes seperti ini, gunakan lebih konsep "jangka" dan "formula." Yang pertama bertindak sebagai analog objek dan nama yang digunakan untuk merujuk kepada sesuatu yang khusus. Pertama sekali memahami pemalar dan pembolehubah individu di bawah mereka. Daripada jumlah ini, seterusnya, membina struktur yang lebih kompleks, yang digunakan digunakan dalam beberapa fungsi bahasa. Di bawah syarat-syarat kumpulan memahami formula, yang penggunaannya dalam bahasa pengaturcaraan tertentu mungkin. Ini "arahan" akan diproses, dan orang yang akan mendapatkan hasil yang dikehendaki.

CONTOH 2

Pertimbangkan contoh logik di mana terdapat penyongsangan (¬), Pemisahan (∧), penggabungan (∨) dan implikasi (⇒) dan beberapa yang lain. Dalam rakaman itu imej boleh diberikan sebagai:

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

Seperti watak-watak A, B, C, menggantikan pembolehubah dan anda mendapat operasi logik. Di mana untuk memohon bahasa formal jenis ini? Penggunaan meluas mekanisme ini terdapat dalam bahasa pengaturcaraan, matematik, hubungan, fungsi logik dan matematik, atau bahagian-bahagian yang telah dijelaskan oleh pengaturcara.

CONTOH 3

Mari kita lihat formula logik yang lebih kompleks:

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

Itulah sebabnya kita perlu bahasa rasmi. Bayangkan apa yang akan berlaku jika ia digambarkan dengan kata-kata? Sekarang, berdasarkan formula yang kita dapati kesimpulan. ungkapan-ungkapan yang bermakna boleh diperolehi dalam bahasa yang formal hanya apabila kaedah-kaedah tertentu dihormati pra-pembentukan, perubahan dan "pemahaman" daripada formula dan syarat-syarat yang mereka adalah:

1. formula jangka pembinaan dan;
2. Kajian aspek semantik dan tafsiran;
3. Urutan salah satu formula dan istilah lain.

Setiap bahasa formal perlu juga ditubuhkan set peraturan.

CONTOH 4

Disebabkan oleh kehadiran dalam kaedah-kaedah pengeluaran sintaks bahasa bagi terma dan formula boleh dibuat model transformasi isomorfik. Jadi ia akan dijalankan bukan sahaja pantulan (perwakilan) sesuatu badan tertentu ilmu yang sudah wujud, tetapi boleh menerima maklumat baru. Selain itu, transformasi, walaupun, dan akan berlaku mengikut peraturan yang jelas dan tegas, ia boleh diautomasikan. teknik yang sama digunakan dalam sistem pakar, asas pengetahuan, dan produk sokongan keputusan perisian.

kesimpulan

bahasa rasmi digunakan secara meluas dalam bidang sains, terutamanya dalam seni. Sepanjang penyelidikan saintifik dan pelaksanaan aktiviti-aktiviti praktikal mereka boleh berinteraksi dengan semula jadi, memandangkan kebolehan ekspresif besar yang kedua. Namun bahasa formal lebih tepat dapat menyampaikan pengetahuan dan untuk menjalankan pertukaran Objektif maklumat terkumpul oleh manusia.