Alfabetos

Un alfabeto es un conjunto finito no vacío de símbolos.

$$\begin{eqnarray*} \Sigma_1 &=& \{0,1\} \\ \Sigma_2 &=& \{a,b\} \\ \Sigma_3 &=&... ... \dots\}\\ \Sigma_5 &=& \{\vert\} \\ \Sigma_6 &=& \{a,ab,aab\} \end{eqnarray*}$$

• Usamos meta-símbolos (tal como $\{$, $\}$, $=$, y la coma) para escribir sobre lo que hablamos. Desde el contexto siempre será claro, si se trata de un símbolo del alfabeto o si se trata de un meta-símbolo.
• Usamos subíndices para distinguir diferentes alfabetos.
• Usamos normalmente las minúsculas como alfabeto $\Sigma=\{a,\dots,z\}$, en los ejemplos normalmente letras desde el principio del alfabeto.
• Cardinalidad del alfabeto (número de elementos del alfabeto): $\vert\Sigma\vert>0$, $\vert\Sigma\vert<\infty$