Linguagem

---

Uma linguagem pode ser algo simples, como $L=a,aa$, ou algo mais complexo, como o conjunto de todas as palavras com um número par de $a$s.

O que define uma linguagem é a regra ou critério que escolhe quais palavras de ${\Sigma }^{\ast }$ pertencem a ela. Esse critério pode ser descrito por autômatos ou gramáticas formais.

NOTE

Uma linguagem sobre um alfabeto $\Sigma$ é um subconjunto de ${\Sigma }^{\ast }$.

Em outras palavras, é qualquer coleção de palavras formadas pelos símbolos de $\Sigma$, podendo ser finito ou infinito.

Formalmente temos:

$$L\subseteq {\Sigma }^{\ast }$$

Referências

---

Aula 2 - Alfabetos palavras e linguagens