b'\n_START_ARTICLE_\nLimbaj formal\n_START_PARAGRAPH_\n\xc3\x8en matematic\xc4\x83, logic\xc4\x83 \xc8\x99i informatic\xc4\x83, un limbaj formal este o mul\xc8\x9bime de cuvinte de lungime finit\xc4\x83 (\xc8\x99iruri de caractere) bazate pe un alfabet finit, \xc8\x99i teoria \xc8\x99tiin\xc8\x9bific\xc4\x83 ce trateaz\xc4\x83 aceste entit\xc4\x83\xc8\x9bi se nume\xc8\x99te teoria limbajelor formale. Putem vorbi despre limbaje formale \xc3\xaen multe contexte (\xc8\x99tiin\xc8\x9bific, legal, lingvistic \xc8\x99i altele) dar \xc3\xaen acest articol vom trata limbajele formale \xc3\xaen sensul de limbaj studiat de teoria limbajelor formale.\n_START_SECTION_\nFamiliarizare\n_START_PARAGRAPH_\nUn exemplu de alfabet poate fi , \xc8\x99i un \xc8\x99ir peste acest alfabet ar putea fi ._NEWLINE_Un exemplu de limbaj peste acel alfabet \xc8\x99i care con\xc8\x9bine \xc8\x99irul dat ca exemplu ar fi mul\xc8\x9bimea tuturor \xc8\x99irurilor care con\xc8\x9bin acela\xc8\x99i num\xc4\x83r de simboluri  \xc8\x99i ._NEWLINE_Cuv\xc3\xa2ntul vid (adic\xc4\x83 \xc8\x99irul de lungime 0) este permis \xc8\x99i este de obicei notat cu ,  sau ._NEWLINE_Chiar dac\xc4\x83 alfabetul este de lungime finit\xc4\x83 \xc8\x99i lungimea oric\xc4\x83rui cuv\xc3\xa2nt este finit\xc4\x83, un limbaj poate avea un num\xc4\x83r infinit de membri (pentru c\xc4\x83 lungimea cuvintelor din el poate fi nelimitat\xc4\x83).'