Defina o termo Linguagem.

Passo 1

O enunciado pede a definição de “linguagem” no contexto de teoria de linguagens formais. Para isso, vamos primeiro rever os conceitos de alfabeto e de palavra (string).

Passo 2

Definimos um alfabeto \Sigma como um conjunto finito não vazio de símbolos. Uma palavra (ou string) sobre \Sigma é uma sequência finita de símbolos de \Sigma. O conjunto de todas as palavras (incluindo a palavra vazia \varepsilon) é denotado por
\Sigma^*\,.

Passo 3

Com esses conceitos, definimos linguagem como qualquer subconjunto de \Sigma^*. Em outras palavras, uma linguagem L sobre o alfabeto \Sigma satisfaz
L \subseteq \Sigma^*\,.

Resposta

Uma linguagem L sobre um alfabeto \Sigma é um subconjunto de \Sigma^*, onde \Sigma^* é o conjunto de todas as palavras finitas (sequências de símbolos) formadas a partir de \Sigma.

Exercícios relacionados