Rasmiy tilga nima ulanishi mumkin? Foydalanish misollar

Nima rasmiy til hisoblanadi va u qanday tabiiy farq? Bu qanday hosil bo'lgan? rasmiy tilga nima ulanishi mumkin? Va u unga murojaat uchun ishlatiladi?

rasmiy tillari tavsifi

Shunday qilib, biz bir guruh qo'ng'iroq sun'iy tillar, aniq iboralar qurish bilan bog'liq qoidalar, shuningdek, ularning aql bilan ifodalanadi. sanoat maqsadlari uchun ishlatiladigan tizimlar rasmiy tillarda bog'liq bo'lishi mumkin. Ular aniq qoidalarga rioya barpo etiladi, xususiyatlari va o'rganib aloqalari izchil ixcham va aniq ekran ta'minlash mavzu sohada yoki modellashtirish ob'ektlar. Belgilarni qiymati va ma'nosi har qanday pragmatik xususiyatlari (kontekstida foydalanish) tomonidan o'zgartirilishi mumkin emas. Bu sintaktik konvertatsiya va semantik talqin qoidalariga rasmiy tilida mavjudligi mumkin sharofati bilan. Ular tez-tez matematika, bir baza sifatida foydalanish qurildi. Tufayli u, rivojlanish butun vaqt haqida, ramziy belgilar, turli xil foydalanish ekanligiga tushuncha va ob'ektlar turli qilingan. Bu rasmiy tillari kerak nima. Ular ancha ma'lumotlarni kamaytirish mumkin. Avvalroq, rasmiy va tabiiy tillar bilan birga ishlatilgan, lekin mavzu va matematik mantiq qat'iy mantiqiy tahlil qilish zarurati izchil asorati bilan, u o'tmishini voz kechishga qaror qabul qilindi. Bu jarayon XX asrga XVII davom etgan. Bu o'tgan asrning rasmiy tillarda jihatidan eng samarali hisoblanadi hisoblanadi. turli maxsus filiallari tashkil etildi. Shunday qilib, kompyuter ilm-fan uchun, xususan ahamiyati dasturlash tillari va mantiq algebra faqat nazariy, balki nuqtai amaliy nazaridan emas.

aniqlash

rasmiy tillarda tegishli bo'lishi mumkin, nima, biz qisqacha bayon allaqachon mavjud. Lekin, biz ular haqida nima deyish mumkin? Formal til turli ta'riflar juda ko'p beriladi. ularga barcha ro'yxatlash uchun, bu juda ko'p vaqt tark, shunday eng mashhur bir ko'z etadi:

1. tilida so'zlarning oddiy ro'yxati - odatda qurilish yakuniy turiga va oddiy tuzilishga ega bo'lgan haqida hurmat bilan shunday deb.
2. ma'lum bir rasmiy grammatika tomonidan hosil so'zlar.
3. Muntazam iboralar tomonidan yaratilgan tuzilishi.
4. BPF-dizayn hosil so'zlar.
5. chekli otomat tomonidan taniladigan tuzilishi.

ning bir misol qaraylik. Keling, butun alifboni, maktubni "Ey" ko'rsatish uchun ikki raqamlari 1 va 0 berilgan bo'lsin, biz 1010001. Bu birikmasi rasmiy tilda foydalanish hisoblanadi foydalaning. Bu bo'sh so'zlarni ishlatish ham mumkin (string nol uzunligi bo'lsa, va hech narsa yo'q) bizga tanish shaklida maxsus belgi bilan. Lekin batafsil, rasmiy til hisoblanadi tushunish keyingi beriladi 4 misollar yordam berish uchun. u nima qiladi? kitobxonning tushunishga rasmiy til ulanishi mumkin edi. Lekin ular qanday yaratilganiga haqida bir oz ko'proq.

rasmiy tillarda qurilishi

Har bir til bir marta va kimdir yaratilgan rasmiy tuzilishi. Ular, odatda, bir xil naqsh asosida barpo etilmoqda:

1. boshlash uchun, alifbo, yoki qurilgan va iboralar tilida ishlatiladi maxsus belgilar ba'zi majmuini tanlang. rasmiy tili orqali kompyuterga foydalanib dastur uchun hech qanday yo'ldir.
2. Bu mazmunli jazo quradi, xususiyatlari va qoidalari sintaksisi, ta'riflaydi.
3. so'z va iboralar uchun muayyan qoidalar. Bu erda bir qoida bor: harflar istalgan natija so'zlarni hisoblash ega bo'lishi kerak.

rasmiy til aniq qoidalar mavjud har qanday tuzilishi nazarda tutadi - bu unutmaslik kerak. qurish, ayrim xususiyatlari bor. Shunday qilib, "belgi" ma'no jihatidan juda ko'p funktsiyali hisoblanadi, shuning uchun eng qismi uchun bir "maktub" deb muddatini ishlatiladi. Lekin ularning ostidan biz uchun odatiy namoyish, balki tirsakdan, maxsus belgilar va yana nafaqat tushunish mumkin. Bu faqat rasmiy tillarda uchun amal qiladi.

O'RNAK 1

ning yana "atamasi" va tushunchasini foydalanish, bunday hollarda 1 va 0 bilan yarataylik "formula". birinchi ob'ekt bir analog va aniq narsa murojaat uchun ishlatiladigan nomi sifatida bajaradi. Avvalo ular ostida konstantalarni va individual o'zgaruvchilari tushunish. Bu esa, o'z navbatida, ayrim til vazifasi ishlatiladigan yanada murakkab tuzilmalarni, qurish. guruhi shartlari formulasini tushunish ostida muayyan dasturlash tilida foydalanish mumkin. Bu "qo'llanma" qayta qilinadi va shaxs kerakli natijaga ega bo'ladi.

O'RNAK 2

bir inversiya (¬), ajralish bor bo'lgan, masalan, mantiq ko'rib chiqaylik (∧), bog'lovchi (∨) va ma'no (⇒) va boshqa bir qator. tasvirlar kabi yozuvda sifatida berilishi mumkin:

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

belgilar sifatida A, B, C, argumentlarni o'rniga va olish mantiqiy operatsiyalarni. Qaerda, bu turdagi rasmiy tillari qo'llash? Bunday mexanizm keng foydalanish programcısı tomonidan ta'rif berilgan qaysi dasturlash tillari, matematika, munosabatlar, mantiqiy va matematik funktsiyalari, yoki buyumlar topilgan.

O'RNAK 3

ning yanada murakkab mantiqiy formulalar qaraylik:

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

Biz rasmiy tillari kerak nima uchun o'sha. Bu so'zlar bilan tasvirlangan bo'lsa, nima sodir bo'lar edi tasavvur? Endi, bir formula asosida biz xulosalar kuzatishimiz. Mazmunli iboralar ayrim qoidalari oldindan shakllanishi, o'zgarish va ular qilingan bo'lgan formulalar va shartlarini "aql" hurmat faqat rasmiy tilida olinishi mumkin:

1. Qurilish muddati formulalar va;
2. semantik jihatdan va talqin o'rganish;
3. formulalar va boshqa muddatga biri natija.

Har bir rasmiy til shuningdek qoidalar belgilangan bo'lishi kerak.

O'RNAK 4

Tufayli shartlari va formulalar uchun til sintaksisi, ishlab chiqarish qoidalariga ham borligi izomorf o'zgartirish modellarni amalga oshirilishi mumkin. Bas, u nafaqat aks (vakilligini) allaqachon mavjud bilim muayyan organ amalga oshiriladi, lekin yangi ma'lumotlarni olishingiz mumkin. Bundan tashqari, o'zgartirish, bo'lsa-da, va ochiq-oydin va qat'iy qoidalarga muvofiq bo'lib o'tadi, u avtomatlashtirilgan mumkin. Shu texnik ishlatiladigan ekspert tizimlari, bilim asoslarini va dasturiy qaror qo'llab-quvvatlash mahsulotlari.

xulosa

Formal tillar keng ayniqsa san'at, ilm-fan ishlatiladi. ilmiy tadqiqotlar va amaliy faoliyatini amalga oshirish chog'ida ikkinchisi muhim ifodali qobiliyatlarini ko'rinishida, tabiiy shovqin mumkin. Biroq rasmiy tillari aniqroq ma'lumot berish mumkin va odamlarga tomonidan to'plangan ma'lumotlar ob'ektiv almashinuvini amalga oshirish.