Apa yang harus bahasa formal dapat dikaitkan? contoh penggunaan

Apa bahasa formal dan bagaimana hal itu berbeda dari alam? Bagaimana itu terbentuk? Apa yang harus bahasa formal dapat dikaitkan? Dan digunakan untuk merujuk kepadanya?

Karakteristik bahasa yang formal

Jadi kita sebut kelompok bahasa buatan, yang ditandai dengan aturan yang tepat mengenai pembangunan ekspresi, serta pemahaman mereka. sistem yang digunakan untuk keperluan industri dapat dikaitkan dengan bahasa formal. Mereka dibangun sesuai dengan aturan yang jelas, memberikan tampilan yang konsisten, kompak dan tepat dari sifat dan hubungan yang diteliti area subyek atau benda dimodelkan. Nilai dan makna dari tanda tidak dapat diubah oleh fitur pragmatis (penggunaan konteks). Hal ini dimungkinkan berkat kehadiran dalam bahasa formal dari aturan konversi sintaks dan interpretasi semantik. Mereka sering dibangun menggunakan sebagai dasar matematika. Karena kenyataan bahwa, di seluruh rentang pembangunan, menggunakan berbagai sebutan simbolis telah diterapkan untuk berbagai konsep dan objek. Itulah yang perlu bahasa formal. Mereka dapat secara signifikan mengurangi data. Sebelumnya, bersama dengan bahasa formal dan alami telah digunakan, tetapi dengan komplikasi bertahap subjek dan kebutuhan untuk membuat analisis logis yang ketat penalaran matematika, diputuskan untuk meninggalkan masa lalu. Proses ini berlangsung dari XVII ke abad XX. Ini adalah abad terakhir dianggap paling bermanfaat dalam hal bahasa formal. berbagai cabang khusus diciptakan. Jadi, untuk ilmu komputer adalah bahasa pemrograman sangat penting dan aljabar logika, tidak hanya teoritis, tetapi juga dari sudut pandang praktis.

definisi

Apa yang harus bahasa formal dapat dikaitkan, kita sudah dijelaskan secara singkat. Tapi apa yang bisa kita katakan tentang mereka? bahasa formal diberikan banyak definisi yang berbeda. Untuk daftar mereka semua, itu akan meninggalkan banyak waktu, jadi kita lihat paling populer:

1. Sebuah daftar sederhana dari kata-kata dalam bahasa - biasanya berkata begitu sehubungan dengan jenis akhir konstruksi dan tentang orang-orang yang memiliki struktur sederhana.
2. Kata-kata yang dihasilkan oleh tata bahasa formal tertentu.
3. Struktur diciptakan oleh ekspresi reguler.
4. Kata-kata yang dihasilkan oleh BPF-desain.
5. Struktur, dikenali oleh robot yang terbatas.

Mari kita lihat sebuah contoh. Katakanlah kita memiliki seluruh alfabet, diberikan dua angka 1 dan 0. Untuk menampilkan huruf "O", kami menggunakan kombinasi 1010001. ini adalah penggunaan bahasa formal. Hal ini juga memungkinkan untuk menggunakan kata-kata kosong (string memiliki panjang nol, dan tidak ada) dengan peruntukan khusus dalam bentuk akrab bagi kita. Tapi secara lebih rinci untuk memahami apa adalah bahasa formal, membantu 4 contoh yang akan diberikan berikutnya. Apa gunanya? Untuk pemahaman pembaca adalah bahwa bahasa formal dapat dikaitkan. Tapi sedikit lebih tentang bagaimana mereka diciptakan.

Konstruksi bahasa resmi

Setiap bahasa adalah struktur formal yang diciptakan sekali dan seseorang. Mereka biasanya dibangun dengan pola yang sama:

1. Untuk memulai, pilih alfabet, atau beberapa set karakter khusus yang akan dibangun dan ekspresi yang digunakan dalam bahasa. Dengan bahasa formal cara untuk program menggunakan komputer.
2. Ini menggambarkan sintaks, yaitu, karakteristik dan aturan yang akan membangun kalimat bermakna.
3. Pada aturan-aturan tertentu untuk kata-kata dan ekspresi. Di sini ada aturan: setiap urutan huruf harus dapat menghitung kata.

Dengan bahasa formal mengacu pada setiap struktur yang memiliki aturan yang jelas - harus diingat. Ketika membangun, ada beberapa fitur. Jadi, istilah "karakter" sangat multi-fungsional dalam hal makna, sehingga untuk sebagian besar menggunakan istilah sebagai "surat". Tapi di balik mereka dapat dipahami tidak hanya notasi yang biasa bagi kita, tetapi juga kurung, karakter khusus, dan banyak lagi. Ini hanya berlaku untuk bahasa formal.

CONTOH 1

Mari kita mulai dengan 1 dan 0. Dalam kasus tersebut, menggunakan lebih konsep "Istilah" dan "formula." Yang pertama bertindak sebagai analog dari objek dan nama yang digunakan untuk menyebut sesuatu yang spesifik. Pertama-tama memahami konstanta dan variabel individu di bawah mereka. Dari jumlah tersebut, pada gilirannya, membangun struktur yang lebih kompleks, yang digunakan digunakan dalam beberapa fungsi bahasa. Berdasarkan ketentuan dari kelompok memahami rumus, penggunaan yang dalam bahasa pemrograman tertentu adalah mungkin. "Instruksi" ini akan diproses, dan orang tersebut akan mendapatkan hasil yang diinginkan.

CONTOH 2

Perhatikan contoh logika yang ada inversi (¬), disjungsi (∧), bersama dengan (∨) dan implikasi (⇒) dan beberapa orang lain. Dalam rekaman tersebut dari gambar dapat diberikan sebagai:

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

Sebagai karakter A, B, C, menggantikan variabel dan Anda mendapatkan operasi logis. Dimana untuk menerapkan bahasa formal jenis ini? Meluasnya penggunaan mekanisme tersebut ditemukan dalam bahasa pemrograman, matematika, hubungan, fungsi logis dan matematis, atau bagian dari yang telah dijelaskan oleh programmer.

Contoh 3

Mari kita lihat pada rumus logika yang lebih kompleks:

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

Itu sebabnya kita perlu bahasa formal. Bayangkan apa yang akan terjadi jika hal itu dijelaskan dalam kata-kata? Sekarang, berdasarkan formula kami menyimpulkan kesimpulan. ekspresi yang berarti dapat diperoleh di bahasa formal hanya ketika aturan-aturan tertentu yang dihormati pra-pembentukan, perubahan dan "pemahaman" rumus dan persyaratan yang mereka dibuat:

1. formula jangka konstruksi dan;
2. Studi aspek semantik dan interpretasi;
3. Urutan salah satu rumus dan istilah lainnya.

Setiap bahasa formal harus juga didirikan seperangkat aturan.

Contoh 4

Karena kehadiran dalam aturan output sintaks bahasa untuk istilah dan rumus dapat dibuat model transformasi isomorfik. Sehingga akan dilakukan tidak hanya refleksi (representasi) tubuh tertentu pengetahuan yang sudah ada, namun dapat menerima informasi baru. Selain itu, transformasi, meskipun, dan akan berlangsung sesuai dengan aturan yang jelas dan ketat, dapat otomatis. teknik yang mirip digunakan dalam sistem pakar, pengetahuan dasar, dan produk-produk pendukung keputusan software.

kesimpulan

bahasa formal yang banyak digunakan dalam ilmu pengetahuan, khususnya dalam bidang ini. Selama penelitian ilmiah dan pelaksanaan kegiatan praktis mereka dapat berinteraksi dengan alam, mengingat kemampuan ekspresif besar yang terakhir. Namun bahasa resmi dapat lebih akurat menyampaikan pengetahuan dan untuk melaksanakan pertukaran tujuan informasi dikumpulkan oleh umat manusia.