Formal dillər nə aid edilə bilər? istifadə nümunələri

Nə formal dil və necə təbii fərqlənir? Necə yaradılmışdır? formal dillər nə aid edilə bilər? Və ona istinad üçün istifadə olunur?

formal Dil Xüsusiyyətlər

Beləliklə, biz bir qrup zəng süni dildə dəqiq ifadələrin tikintisi ilə bağlı qaydaları, habelə onların anlaşma ilə xarakterizə olunur. sənaye məqsədləri üçün istifadə sistemləri formal dillər aid edilə bilər. Onlar aydın qaydalarına uyğun inşa edilir, xassələri və tədqiq münasibətlərinin ardıcıl yığcam və dəqiq ekran təmin mövzu və ya nümunə obyektlərin. nişanları dəyəri və mənası hər hansı bir praqmatik xüsusiyyətləri (kontekstində istifadə) ilə dəyişdirilə bilməz. Bu syntax dönüşüm və semantik şərhi qaydaları formal dilində olması sayəsində mümkün olur. Onlar tez-tez riyaziyyat bir baza kimi istifadə inşa edilir. Due bu inkişaf bütün aşırım, rəmzi belirtme bir sıra istifadə ki, anlayışlar və obyektlərin bir sıra tətbiq edilmişdir. Bu formal dillər ehtiyacı var. Onlar əhəmiyyətli dərəcədə məlumat azalda bilər. Əvvəllər formal və təbii dillərdə birlikdə istifadə edilmişdir, lakin mövzu və riyazi əsaslandırıcı bir ciddi məntiqi analiz etmək üçün ehtiyac tədricən mürəkkəbliyi ilə, keçmiş tərk etmək qərara alınıb. Bu proses XX əsrin XVII-dan davam etdi. Bu, ötən əsrin formal Dil baxımından ən məhsuldar hesab olunur. müxtəlif xüsusi filialları yaradılmışdır. Belə ki, kompüter elm, xüsusi əhəmiyyət proqramlaşdırma dilləri və məntiq cəbr yalnız nəzəri, həm də baxımından praktiki baxımdan deyil.

müəyyən

formal dillər aid edilə bilər nə, biz qısa izah artıq var. Amma biz onlar haqqında nə deyə bilərsiniz? Formal dil müxtəlif anlayışlar bir çox verilir. onlara bütün siyahısı üçün, çox vaxt tərk, belə ki, ən məşhur nəzər edəcək:

1. dilində sözlərin sadə siyahısı - adətən tikinti final növü və sadə strukturu olanları haqqında hörmətlə belə deyirlər.
2. müəyyən bir formal qrammatika tərəfindən Words.
3. normal ifadeler yaratdığı strukturu.
4. BPF-dizayn yaradılan Words.
5. məhdud automaton ilə tanınan struktur.

Nin bir misal baxaq. biz bütün əlifba, məktub "O" keçirmək üçün iki ədəd 1 və 0 verilmiş var deyirlər, biz 1010001. Bu birləşməsi bir formal dil istifadə istifadə. Bu boş sözləri istifadə etmək mümkündür (string sıfır uzunluğu zaman və heç bir şey yoxdur) bizə tanış şəklində xüsusi təyinatlı ilə. Amma daha ətraflı, bir formal dil nə anlamaq növbəti veriləcək 4 nümunələri kömək edir. O nə edir? oxucu anlaşma rəsmi dil aid edilə bilər idi. Lakin onlar yaradılmışdır necə haqqında bir az daha çox.

formal Dil Construction

Hər bir dil bir dəfə və kimsə yaradılmış bir formal strukturu. Onlar adətən eyni model inşa edilir:

1. Başlamaq üçün, əlifbası, və ya daxili və ifadələr dil istifadə olunacaq xüsusi simvol bəzi seçə. formal dil Bir kompüter istifadə edərək, proqram hər hansı bir şəkildə deyil.
2. Bu mənalı cümlələr inşa edəcək, xüsusiyyətləri və qaydaları sintaksis, təsvir edir.
3. söz və ifadələr üçün müəyyən qaydaları haqqında. Burada bir qayda var: məktublar hər hansı ardıcıllıqla sözləri saymaq lazımdır.

formal dil aydın qaydaları var, hər hansı bir strukturu aiddir - bu yadda olmalıdır. tikinti zaman, bəzi xüsusiyyətləri var. Belə ki, termini "xarakter" məna baxımından çox multi-funksional, belə ki, çox hissəsi üçün "məktub" kimi termini istifadə olunur. Lakin onların altında bizim üçün adi notation, həm də mötərizədə, xüsusi simvollar və daha çox yalnız başa düşülə bilər. Bu yalnız formal dillər aiddir.

NÜMUNƏ 1

daha "termini" və anlayışı istifadə Belə hallarda 1 və 0 ilə başlamaq edək "formulu". ilk obyektin bir analoq və xüsusi bir şey istinad üçün istifadə adı kimi çıxış edir. İlk növbədə onların altında sabitləri və fərdi dəyişənlərin başa düşürük. Bu, öz növbəsində, bəzi dil funksiyası istifadə istifadə daha kompleks strukturları qurmaq. qrup şərtləri formula anlamaq əsasən, müəyyən bir proqramlaşdırma dili istifadə mümkündür. Bu, "təlimat" emal olunacaq və şəxs istənilən nəticə əldə edəcək.

NÜMUNƏ 2

bir inversiya (¬) disjunction var olan nümunə məntiq düşünün (∧), birlikdə (∨) və dolayısı (⇒) və bir neçə başqaları. images belə qeyd kimi verilə bilər:

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

simvol kimi A, B, C, dəyişənlərin əvəz və almaq məntiqi əməliyyatları. Bu tipli formal dillər tətbiq etmək? Belə bir mexanizmin geniş istifadə proqramçı tərəfindən təsvir edilmişdir ki, proqramlaşdırma dilləri, riyaziyyat, münasibətlər, məntiqi və riyazi funksiyaları, və ya hissələri var.

NÜMUNƏ 3

Bir daha mürəkkəb məntiqi düsturlar baxaq:

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

biz formal dillər lazımdır ki. bu sözləri təsvir əgər nə olacaqdı Təsəvvür edin? İndi, bir düstur əsasında biz nəticələr anlamak. Mənalı ifadələri müəyyən qaydalar pre-formalaşması, dəyişiklik və onlar edilir olan düsturlar və şərtlər "anlayışı" hörmət yalnız formal dilində əldə edə bilərsiniz:

1. Tikinti müddəti düsturlar və;
2. semantik aspekt və şərh öyrənilməsi;
3. düsturlar və digər müddəti bir ardıcıllığı.

Hər bir formal dil də qaydaları müəyyən yaradılmalıdır.

NÜMUNƏ 4

Due şərtləri və düsturlar üçün dil sintaksis çıxış qaydaları olması isomorphic transformasiya modelləri edilə bilər. Belə ki, yalnız əks (təmsil) artıq mövcud bilik xüsusi orqanı həyata keçiriləcək, lakin yeni məlumat ala bilər. Bundan başqa, transformasiya, baxmayaraq ki, və aydın və ciddi qaydalara uyğun baş tutacaq, bu avtomatik ola bilər. Oxşar üsulları istifadə olunur ekspert sistemləri, biliklər bazaları, və proqram qərar dəstək məhsulları.

nəticə

Formal dilləri geniş xüsusilə sənət, elm istifadə olunur. elmi-tədqiqat və təcrübi fəaliyyətinin həyata keçirilməsi zamanı sonuncunun xeyli ifadəli qabiliyyət baxımından, təbii ilə qarşılıqlı bilər. Lakin formal dillər daha dəqiq bilik çatdırmaq bilər və bəşəriyyətin toplanmış məlumatların obyektiv mübadiləsi həyata keçirmək.