Reguliere taal

De verzameling van reguliere talen over een alfabet Σ is recursief gedefinieerd:

• de lege taal Ø is een reguliere taal
• de lege-string taal { ε } is een reguliere taal
• voor alle a ∈ Σ, de singleton taal { a } is een reguliere taal
• als A en B reguliere talen zijn , dan zijn A ∪ B (vereniging), A • B (concatenatie) en A* (Kleene-ster) reguliere talen
• geen andere talen over Σ zijn regulier

Alternatief kan een reguliere taal ook gedefinieerd worden als een formele taal die een van de volgende equivalente eigenschappen vervult:

• ze wordt geaccepteerd door een deterministische eindige automaat;
• ze wordt geaccepteerd door een non-deterministische eindige automaat;
• ze wordt geaccepteerd door een alternerende eindige automaat;
• ze wordt beschreven door een reguliere expressie;
• ze wordt gegenereerd door een reguliere grammatica;
• ze wordt gegenereerd door een prefixgrammatica;
• ze wordt geaccepteerd door een read-only-turingmachine;
• ze wordt gedefinieerd in monadische logica van de tweede orde.

Alle eindige talen zijn regulier. Andere voorbeelden zijn de taal die bestaat uit alle strings over het alfabet { a, b } met een even aantal as of de taal van de vorm: een aantal as gevolgd door een aantal bs.

De reguliere talen zijn gesloten onder de volgende bewerkingen, dit betekent: als ${\displaystyle K}$ en ${\displaystyle L}$ reguliere talen zijn, dan zijn de volgende talen ook regulier:

• de booleaanse operaties: de vereniging ${\displaystyle K\cup L}$, doorsnede ${\displaystyle K\cap L}$, en het complement ${\displaystyle {\bar {K}}}$ van ${\displaystyle K}$ en ${\displaystyle L}$, en daardoor ook het verschil ${\displaystyle K-L}$,
• de reguliere operaties: vereniging, concatenatie ${\displaystyle K\circ L}$, en Kleene-ster ${\displaystyle K^{*}}$ van ${\displaystyle K}$ en ${\displaystyle L}$,
• het beeld ${\displaystyle \phi (L)}$ van ${\displaystyle L}$ onder een homomorfisme,
• het omgekeerde (of spiegelbeeld) ${\displaystyle L^{R}}$ van ${\displaystyle L}$,
• HALF(L), de verzameling van strings die bestaan uit de eerste helft van de strings in ${\displaystyle L}$

In de Chomskyhiërarchie kan men zien dat elke reguliere taal contextvrij is. Het omgekeerde is echter niet het geval: bijvoorbeeld de taal die bestaat uit alle strings met hetzelfde aantal as en bs is contextvrij, maar niet regulier. Om te bewijzen dat een taal niet regulier is gebruikt men de stelling van Myhill-Nerode of de pompstelling.

• (en) Michael Sipser, Introduction to the Theory of Computation. PWS Publishing (1997). ISBN 0-534-94728-X. Chapter 1: Regular Languages, p. 31-90. Subsection "Decidable Problems Concerning Regular Languages" of section 4.1: Decidable Languages, p. 152-155.