Estrictament parlant, un llenguage formal és idèntic al conjunt de totes les seues fòrmules ben formades. A diferència de lo que ocorre en l'alfabet (que deu ser un conjunt finit) i en cada fòrmula ben formada (que deu tindre una llongitut també finita), un llenguage formal pot estar compost per un número infinit de fòrmules ben formades. | Estrictament parlant, un llenguage formal és idèntic al conjunt de totes les seues fòrmules ben formades. A diferència de lo que ocorre en l'alfabet (que deu ser un conjunt finit) i en cada fòrmula ben formada (que deu tindre una llongitut també finita), un llenguage formal pot estar compost per un número infinit de fòrmules ben formades. |