Hodnota regulárního výrazu

Dostane na vstup regulární výraz a vrátí regulární jazyk

Hodnota je definována takto:

• kde jsou regulární výrazy

Tedy hodnota RV je nějaká množina slov