Ce pot fi atribuite limbilor formale? Exemple de utilizare

Ce este un limbaj formal și cum diferă de cel natural? Cum sa format? Ce pot fi atribuite limbilor formale? Și ce este folosit pentru a indica acest lucru?

Caracteristicile limbilor formale

Deci numiți grupul limbi artificiale, care se caracterizează prin reguli precise privind construirea expresiilor, precum și înțelegerea acestora. Limbile formale includ sistemele utilizate în scopuri aplicate. Ele sunt construite în conformitate cu reguli clare, oferă o cartografie consistentă, compactă și precisă a relațiilor și proprietăților studiului subiect sau obiecte simulate. Semnificația și semnificația semnelor utilizate nu se pot schimba de la anumite trăsături pragmatice (context de utilizare). Acest lucru este posibil datorită prezenței în limbile oficiale a regulilor de transformare sintactică și interpretare semantică. Adesea ele sunt construite atunci când sunt folosite ca bază de matematică. Datorită faptului că în ea, pe tot parcursul perioadei de dezvoltare, s-au folosit diferite simboluri simbolice folosite la diverse concepte și obiecte. Iată limbile formale. Acestea vă permit să reduceți în mod semnificativ datele. Anterior, împreună cu limbile formale, naturale au fost folosite, dar cu complicația treptată a subiectului și necesitatea de a efectua o analiză logică riguroasă a judecăților matematice, sa decis abandonarea acestuia din urmă. Acest proces sa extins din secolele XVII-XX. Ultimul secol este considerat cel mai fructuos din punctul de vedere al dezvoltării limbilor formale. Au fost create diferite ramuri speciale. De exemplu, pentru știința informaticii, limbile de programare și algebra logică sunt de o importanță deosebită, nu numai din punct de vedere teoretic, ci și din punct de vedere practic.

definiție

Ceea ce poate fi atribuit limbilor formale, am explicat deja pe scurt. Dar despre ei înșiși? Limbile formale au numeroase definiții diferite. Pentru a le lista pe toate, va dura mult timp, așa că ne vom familiariza cu cele mai populare:

1. O listă simplă de cuvinte care sunt incluse într-o anumită limbă - de obicei se vorbește despre un tip de construcție finită și despre acelea care au o structură simplă.
2. Cuvinte generate de o anumită gramatică formală.
3. O structură creată de expresii regulate.
4. Cuvintele generate de construcția BNF.
5. Structura recunoscută de mașina finită de stat.

Să ne uităm la un exemplu. Să presupunem că avem întreaga alfabet dată de două cifre: 1 și 0. Pentru a afișa litera "O", folosim combinația 1010001. Aceasta este aplicarea limbii formale. Este, de asemenea, posibil să utilizați un cuvânt gol (atunci când șirul are o lungime zero și nu există nimic în el) cu o denumire specială în forma pe care o cunoaștem. Dar înțelegerea mai detaliată a limbajului formal va ajuta la 4 exemple, care vor fi date mai departe. Pentru ce este? Că cititorul a avut o înțelegere că este posibil să se atribui limbilor formale. Dar mai multe despre modul în care sunt create.

Construirea de limbi oficiale

Fiecare limbaj formal este o construcție care a fost creată odată și de cineva. Ele sunt construite în mod obișnuit în conformitate cu o schemă:

1. Pentru început, alegeți un alfabet sau o colecție de anumite simboluri, din care vor fi construite expresiile folosite în limba respectivă. Pentru limbile oficiale este orice mod de programare folosind un calculator.
2. Descrie sintaxa, adică caracteristicile și regulile pe care vor fi construite propoziții semnificative.
3. Potrivit anumitor reguli, sunt compuse cuvinte și expresii. Există o regulă: orice secvență de litere ar trebui să poată fi considerată un cuvânt.

Pentru limbile oficiale este orice model care are reguli clare - acest lucru trebuie amintit. Când se construiește, există câteva caracteristici. Deci, conceptul de "simbol" este foarte multifuncțional din punct de vedere al încărcăturii semantice, prin urmare, în masa sa se utilizează termenul "literă". Dar sub ele poate înțelege nu numai notația obișnuită pentru noi, ci și paranteze, semne speciale și multe altele. Aceasta se aplică numai limbilor formale.

Exemplul 1

Să începem cu 1 și 0. În astfel de cazuri, termenii "termen" și "formula" sunt utilizați. Primul acționează ca un analog al denumirii obiectului și este folosit pentru a se referi la ceva specific. Mai intai, ele inseamna constante si variabile obiective. Dintre acestea, la rândul lor, se construiesc construcții mai complexe, pentru care se folosește funcția folosită în unele limbi. O formulă se înțelege că înseamnă un grup de termeni, a căror utilizare într-o anumită limbă de programare este posibilă. Această "instrucțiune" va fi procesată, iar persoana va primi rezultatul necesar.

Exemplul 2

Luați în considerare exemplul logicii în care există o inversiune (nu-), o disjuncție (și-), o conjuncție (sau-) și o implicare (rArr-), și o serie de altele. Ca imagini, puteți scrie astfel de înregistrări:

1. A;
2. Aand-In rArr- nu-A
3. nu - (Aor-nu-C)

Ca simbolurile A, B, C înlocuiți variabilele și veți obține operații logice. Unde sunt utilizate limbile oficiale de acest tip? Utilizarea pe scară largă a unui astfel de mecanism găsit în limbile de programare, matematică, relații, funcții logice și matematice sau părți individuale descrise de programator.

Exemplul 3

Să analizăm o formulă logică mai complexă:

nu - (Aor-nu-C) hArr- nu-Аand-С = 1

De aceea avem nevoie de limbi oficiale. Imaginați-vă ce s-ar fi întâmplat dacă ar fi fost descris în cuvinte? Și acum, pe baza formulei, vom deduce deducții. Expresiile semnificative pot fi obținute în limba oficială numai atunci când sunt respectate regulile prestabilite pentru formarea, modificarea și "înțelegerea" formulelor și termenilor de la care sunt făcute:

1. Construirea termenilor și formulelor;
2. Elaborarea aspectului și interpretării semantice;
3. Ordinea unor formule și termeni de la alții.

În fiecare limbă oficială, un set de reguli trebuie să fie bine elaborat.

Exemplul 4

Datorită prezenței în sintaxa a limbajului regulilor de ieșire pentru termeni și formule este posibilă efectuarea transformărilor izomorfe ale modelelor. Acest lucru nu numai că va reflecta (reprezenta) un anumit set de cunoștințe care există deja, ci poate primi și noi informații. În plus, transformarea, deși se va întâmpla în conformitate cu reguli clare și stricte, poate fi automatizată. Tehnologii similare sunt utilizate în sisteme expert, baze de cunoștințe și produse software de suport pentru decizii.

concluzie

Limbile formale au găsit o largă aplicație în domeniul științei, în special în inginerie. În timpul desfășurării cercetărilor științifice sau în punerea în practică a activităților practice, ele pot interacționa cu naturale, având în vedere abilitățile expresive semnificative ale acestora din urmă. Cu toate acestea, limbile oficiale permit transferul mai precis al cunoștințelor și conduc un schimb obiectiv de informații acumulate de omenire.