Un lenguaje formal se define como el conjunto de todas sus fórmulas bien formadas.