$\{\text{a}, \text{b}, \text{c}, \text{d}\}^*$ er mengden av strenger over alfabetet $A = \{\text{a}, \text{b}, \text{c}, \text{d}\}$.
Eksempel: Mengder av strenger
Test deg selv
Hvilke av disse er elementer i $\{\text{a}, \text{b}, \text{c}, \text{d}\}^*$?
Strengen $\text{acadaea}$ er ikke en streng over alfabetet $A$, fordi strengen inneholder tegnet $\text{e}$, og $\text{e}$ ikke er et tegn i $A$.
Alle strenger som oppstår fra den induktive definisjonen av alle strenger over alfabetet $A = \{\text{a}, \text{b}, \text{c}, \text{d}\}$ er endelige, det vil si at de har en lengde som kan beskrives med et naturlig tall. En uendelig lang sekvens av $\text{b}$'er ikke en streng over alfabetet $A$.
Test deg selv
Hvilke av disse mengdene av strenger er språk over alfabetet $\{ \text{a}, \text{c}, \text{e} \}$?
Dette er ikke et språk over $B$, fordi hverken $\text{b}$ eller $\text{d}$ er tegn i alfabetet.
Dette er ikke et språk over $B$, fordi $\text{d}$ ikke er et tegn i alfabetet.
Den tomme strengen er en streng over alle alfabeter, så $\Lambda \in B^\ast$. Dermed er $\{ \Lambda \}$ en delmengde av $B^\ast$, og $\{ \Lambda \}$ er derfor et språk over $B$.
Den tomme mengden er en delmengde av alle mengder, så den tomme mengden er også en delmengde av $B^\ast$. Dermed er også $\emptyset$, det tomme språket, et språk over $B$.
Et språk over alfabetet $B = \{ \text{a}, \text{c}, \text{e} \}$ er en delmengde av $B^*$, altså en delmengde av mengden av alle strenger over dette alfabetet.