În acest capitol vom începe elementele de prezentare ale teoriei limbajului formal.
Prin „limbaj formal“, ne referim la faptul că rezultatele prezentate aici sunt utilizate în descrierea limbilor artificiale inventate de oameni pentru scopuri specifice, cum ar fi limbaje de programare în primul rând. Dar bariere insurmontabile între limbi inventate special artificiale (formale) și în mod spontan în curs de dezvoltare și dezvoltarea limbajului natural nu există. Se pare că limbile naturale au reguli gramaticale complexe, de exemplu, mai degrabă rigid formalizate, și chiar și cele mai „stiintific proiectat“ limbajul de programare conține „locuri întunecate“, care este o înțelegere clară a problemei.
Studierea limbilor, trebuie avut în vedere trei aspecte de bază.
Prima dintre ele - sintaxa limbii. Limba - este kakoe- setul de „cuvinte“, în cazul în care „cuvânt“ este o anumită secvență finită de „litere“ - caractere ale unui alfabet fix anterior. Termenii „litera“ și „cuvântul“ poate fi interpretată în moduri diferite (definiția matematică a acestor termeni vor fi prezentate mai jos). Astfel, „literele“ poate fi într-adevăr litere ale alfabetului unui limbaj natural sau formal, cum ar fi limba sau de programare limba română „Pascal“. Apoi, „cuvintele“ sunt secvențe finite de „litere“: crocodil „“ întreg Jetoane Litera «poate fi un» cuvânt «(» jeton «) pentru tot timpul.» Cuvântul „- oferă naturale«Aceste cuvinte sunt numite.»«Dar.» limbă programe sau limbaj de programare. Dacă vom repara un anumit număr de „litere“ care nu orice secvență de ei vor fi „scurt“, adică Eleksemoy „ale limbii, ci doar o secvență care este supusă anumitor reguli. Cuvântul „krykadil“ nu este un semn al limbii române, iar cuvântul „IFF“ nu este un simbol pentru „Pascal“. Propoziția „Te iubesc“, nu este o ofertă valabilă a limbii române în același mod ca și mențiunea „x: = = T“ nu este corect scris operator de atribuire „Pascal“. * Limba Sintaxa și este un sistem de norme, în conformitate cu care este posibil să se construiască o secvență „corectă“ de „litere“. Fiecare cuvânt al limbii se caracterizează printr-o structură specifică, este specific unui anumit limbaj. Apoi, trebuie să existe, pe de o parte, de a dezvolta mecanisme pentru transferul sau generarea, un model predeterminat de cuvinte, iar celelalte - mecanisme pentru a verifica dacă cuvântul aparține unui anumit limbaj. În primul rând, și anume, mecanismele și Studiind teoria clasică a limbilor oficiale.
Al doilea aspect - semantica limbii. ** Semantica o comparație între cuvintele limbii unui „sens“ Eznacheniya. „De exemplu, scriind o formulă matematică, noi trebuie să respecte anumite reguli de sintaxă (alinierea paranteze, simboluri de ortografie, ordinea simbolurilor, etc.), dar, în plus, are formula un sens bine definit, ceva înseamnă.
Limba - este un mijloc de comunicare, transfer de informații. Dacă vrem să fie înțeles, noi trebuie să nu numai corect sintactic, respectând ordinea corectă a literelor într-un cuvânt și cuvinte într-o propoziție, pentru a construi discursul său, dar, de asemenea, să aibă grijă de simțul ei de acele idei pe care le exprimă în vorbire. Teoria matematică a „sensului“ a apărut relativ recent, și, în plus față de capitolul următor, examinăm foarte pe scurt câteva dintre abordările la descrierea matematică a semanticii limbaje de programare.
* Cuvântul „sintaxa“ provine din grecescul „syn“ - „împreună“ și „taxiuri“ - „sistem de ordine“. Astfel, sintaxa poate fi înțeleasă ca „desen.“
** din cuvântul grecesc „Sema“ - „semn, un semn“ și „semanticos“ - „sensul“.
Acest capitol va lua în considerare în primul rând conceptele de bază ale teoriei matematice a limbilor formale, cel mai important dintre ele este conceptul de gramatica generativă, după care - așa-numitele limbi regulate. Teoria limbilor regulate, împreună cu teoria automatelor finite formează fundamentul întregii teorii a limbilor oficiale.
Alfabet, cuvânt, limba
Luați în considerare un concept foarte simplu al teoriei limbajului - noțiunea alfavita.Podrobnee
gramatici generative
După cum sa menționat deja, teoria clasică a studiilor de limbaje formale de sintaxă în primul rând. Acesta introduce modelul de sintaxă matematic care descrie mecanismele de generare și de recunoaștere a lanțurilor „bine formate“. În această secțiune ne uităm la prima dintre aceste mehanizmov.Podrobnee