Ce să limbaje formale pot fi atribuite? exemple de utilizare

Care este limba oficială și modul în care aceasta diferă de natural? Cum a fost format? Ce să limbaje formale pot fi atribuite? Și este folosit pentru a se referi la el?

Caracteristicile limbilor oficiale

Deci , noi numim un grup de limbi artificiale, care sunt caracterizate prin norme precise în ceea ce privește construirea de expresii, precum și înțelegerea lor. Sistemele utilizate în scopuri industriale pot fi atribuite limbilor formale. Acestea sunt construite în conformitate cu reguli clare, coerente oferă afișare, compactă și precisă a proprietăților și relațiile studiate zona de subiect sau a unor obiecte modelate. Valoarea și semnificația mărcilor nu pot fi modificate prin orice caracteristici pragmatice (utilizarea contextului). Acest lucru este posibil datorită prezenței în limba oficială a regulilor de conversie sintaxa și interpretarea semantică. Ele sunt adesea construite folosind ca bază de matematică. Datorită faptului că, pe toată durata de dezvoltare, a folosit o varietate de denumiri simbolice au fost aplicate la o varietate de concepte și obiecte. Asta e ceea ce are nevoie de limbaje formale. Ele pot reduce în mod semnificativ de date. Anterior, împreună cu limbile oficiale și naturale au fost folosite, dar cu complicarea treptată a subiectului și necesitatea de a face o analiză strictă logică a raționamentului matematic, sa decis să renunțe la trecut. Acest proces a durat din XVII până în secolul XX. Este ultimul secol este considerat cel mai fructuoasă în ceea ce privește limbile oficiale. au fost create diverse ramuri speciale. Deci, pentru știința calculatoarelor sunt deosebit limbaje de programare importanță și algebra logicii, nu numai teoretic, ci și din punct de vedere practic.

definiție

Ce să limbaje formale pot fi atribuite, avem deja explicate pe scurt. Dar ce putem spune despre ele? Limba oficială este dat o mulțime de definiții diferite. Pentru a le lista toate, va lăsa o mulțime de timp, astfel încât să ia o privire la cele mai populare:

1. O simplă listă de cuvinte în limba - spune, de obicei, atât în ceea ce privește tipul de construcție finală și despre cele care au o structură simplă.
2. Cuvintele generate de o anumită gramatica formală.
3. Structura creată de expresii regulate.
4. Cuvintele generate de FTB-proiectare.
5. Structura, recunoscut de către un automat finit.

Să ne uităm la un exemplu. Să presupunem că avem întregul alfabet, având în vedere două numere de 1 și 0. Pentru a afișa litera „O“, vom folosi o combinație de 1010001. Aceasta este utilizarea unui limbaj formal. De asemenea, este posibil să se utilizeze cuvinte goale (în cazul în care șirul are o lungime de zero, și nu este nimic), cu o denumire specială în formularul de familiar pentru noi. Dar, mai în detaliu pentru a înțelege ce este un limbaj formal, ajuta la 4 exemple care vor fi prezentate în continuare. Ce face? Pentru înțelegerea cititorului că a fost un limbaj formal poate fi atribuită. Dar un pic mai mult despre modul în care acestea sunt create.

Construcție de limbi oficiale

Fiecare limbă este o structură formală, care a fost creată o dată și cineva. Ele sunt de obicei construite pe același model:

1. Pentru a începe, alege alfabetul, sau un anumit set de caractere specifice, care vor fi construite și expresiile utilizate în limba. Prin limbajul formal este orice mod de a programa folosind un computer.
2. Aceasta descrie sintaxa, care este, caracteristici și reguli care vor construi propoziții semnificative.
3. Pe anumite reguli pentru cuvinte și expresii. Aici există o regulă: orice secvență de litere trebuie să fie în măsură să numere de cuvinte.

Prin limbaj formal se referă la orice structură care are reguli clare - ar trebui să fie amintit. La construirea, există unele caracteristici. Astfel, termenul „caracter“ este foarte multi-funcțional în termeni de sens, astfel încât cea mai mare parte a folosit termenul ca „literă“. Dar sub ele pot fi înțelese nu numai notația obișnuită pentru noi, dar, de asemenea, paranteze, caractere speciale, și mai mult. Acest lucru se aplică numai pentru limbile oficiale.

EXEMPLUL 1

Să începem cu 1 și 0. În astfel de cazuri, utilizați mai mult conceptul de „termen“ și „formulă“. Primul acționează ca un analog al obiectului și numele folosit pentru a se referi la ceva anume. În primul rând să înțeleagă constantele și variabilele individuale sub ele. Dintre acestea, la rândul lor, să construiască structuri mai complexe, care este folosit în unele funcție de limbă. În conformitate cu termenii grupului să înțeleagă formula, a căror utilizare într-un anumit limbaj de programare este posibilă. Această „instrucțiune“ va fi procesată, iar persoana va obține rezultatul dorit.

EXEMPLUL 2

Să considerăm exemplul logica în care există o inversare (¬), disjuncție (∧), coroborat (∨) și implicație (⇒) și multe altele. Într-o astfel de înregistrare a imaginilor pot fi date ca:

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

După cum caracterele A, B, C, înlocuiți variabilele și veți obține operațiile logice. În cazul în care să aplice limbile oficiale ale acestui tip? Utilizarea pe scară largă a unui astfel de mecanism se găsește în limbaje de programare, matematică, relații, funcții logice și matematice, sau părți din care au fost descrise de către programator.

EXEMPLUL 3

Să ne uităm la o mai complexe formule logice:

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

De aceea avem nevoie de limbaje formale. Imaginează-ți ce s-ar fi întâmplat dacă acesta a fost descris în cuvinte? Acum, pe baza unei formule deducem concluzii. expresii semnificative pot fi obținute în limbajul formal numai atunci când anumite reguli sunt respectate de pre-formare, schimbare și „înțelegere“ a formulelor și a termenilor din care sunt realizate:

1. formule pe termen de constructii;
2. Studiul aspectului semantic și interpretarea;
3. Secvența uneia dintre formulele și celălalt termen.

Fiecare limbă oficială ar trebui să fie bine stabilit un set de reguli.

EXEMPLUL 4

Datorită prezenței în regulile de ieșire sintaxa limbii pentru termeni și formule pot fi realizate modele de transformare izomorfe. Deci, aceasta va fi efectuată nu numai reflectarea (reprezentarea) unui organism specific de cunoștințe care există deja, dar pot primi informații noi. Mai mult decât atât, transformarea, deși, și va avea loc în conformitate cu reguli clare și stricte, acesta poate fi automatizat. Tehnici similare sunt utilizate în sisteme expert, baze de cunoștințe, și produse de suport al deciziilor de software.

concluzie

limbaje formale sunt utilizate pe scară largă în știință, în special în domeniu. În timpul cercetării științifice și punerea în aplicare a activităților practice care pot interacționa cu naturale, având în vedere capacitățile expresive considerabile ale acestuia din urmă. Cu toate acestea, limbaje formale poate transmite mai multă precizie de cunoștințe și de a efectua un schimb de informații obiective acumulate de omenire.