Vă explicăm ce sunt limbajele formale, caracteristicile, exemplele și tipurile lor. De asemenea, diferențele sale cu limbile naturale.
Ce este un limbaj formal?
În tehnica de calcul și știința informației, când ne referim la un limbaj formal, spre deosebire de limbile naturale, ne referim la acele sisteme de semne înzestrat cu simboluri primitive și un sistem de reguli de utilizare specificat formal, adică înzestrat cu o alfabet si de a gramatică (sau sintaxă) formale:
- Un alfabet este înțeles ca fiind un set finit și nevid de simboluri primitive.
- Gramatica formală este înțeleasă ca fiind un set finit de reguli de combinare ale alfabetului menționat pentru a forma lanțuri finite cu o semnificație specifică.
Prin aceasta se deosebește de limbajele naturale, apărute în jurul nevoii umane de a comunica, în care regulile sunt complexe și ambigue, iar sensul depinde de interpretarea semne lingvistice. Din acest motiv, limbile naturale sunt infinit mai complexe decât lectura unui limbaj formal al cărui reguli sunt finite și stabilite în prealabil.
Limbile formale sunt importante pentru lumea matematica iar al tehnica de calcul, deoarece ele ne permit să creăm coduri comunicarea dintre ființe umane și mașini, adică programare. Nu trebuie să confundăm limbajele formale cu nivelul formal al limbii sau cu limbaj formal, care este utilizarea formală, politicoasă și formală a limbajului verbal, spre deosebire de utilizarea acestuia colocvial, răvășit și informal.
Potrivit lingvistului american Noam Chomsky (1928-), limbile formale pot fi clasificate în patru tipuri:
- Tipul 3: limbaje regulate dotate cu gramatici regulate, adică cu sisteme de reguli care pot fi obținute prin expresii regulate și care permit obținerea tuturor șirurilor de simboluri posibile.
- Tipul 2: limbaje non-contextuale dotate cu gramatici non-contextuale, adică permit obținerea tuturor șirurilor de simboluri posibile, dar la un nivel de complexitate mult mai mare decât cele obișnuite.
- Tipul 1: limbaje contextuale dotate cu gramatici contextuale, adică care permit obținerea șirurilor de simboluri dependente, după cum indică numele acestora, ale context.
- Tip 0: limbi libere dotate cu gramatici libere, fără restricții, care produce limbaje enumerabile recursiv.
Exemple de limbaje formale
Exemple de limbaje formale sunt:
- The limbaje de programare cu care cel software.
- Jocul de șah, ale cărui piese sunt limitate și mișcări descrise în prealabil.
- Cod Morse, care prin semne scurte și lungi compune cuvinte Y numere întregi.
- propriu logică simbolic constituie un limbaj formal.