next up previous
Next: Grammar Up: Basic Concepts and Terminologies Previous: Basic Concepts and Terminologies

Operations on Alphabet, Languages, or Strings


\begin{theorem}
$\Sigma^*$ is countably infinite.
Each $L\in \Sigma^*$ is countabe ( i.e., countably infinite or finite).
\end{theorem}
Therefore we can order the strings in a languages. Typically, we can use the lexicographic order.

xiangyang li 2000-09-06