Enciclopedia universală

Limbaj formal

Limbaj formal - Multime de siruri generate utilizand simboli dintr-un alfabet. Pentru multimile infinite sunt interesante mecanismele de descriere (specificare) finite. Nu orice limbaj poate sa fie descris intr-o forma finita.