Espressione regolare

Sequenza di caratteri che denota un insieme di stringhe, rappresentato anche come L(R). Se utilizzata per vincolare uno spazio lessicale, un'espressione regolare asserisce che solo le stringhe dell'insieme di stringhe sono rappresentazioni formali valide per i valori del tipo in questione.

Un'espressione regolare è costituita da zero o più rami separati dal carattere "or" (|).

Sintassi

regExp :: = branch ('|' branch) *

Nella tabella che segue vengono illustrate le espressioni regolari valide R e i relativi insiemi di stringhe L(R).

Espressioni regolari valide R per tutti i rami S e le espressioni regolari T	Insieme di stringhe L(R)
(stringa vuota)	L'insieme contenente solo la stringa vuota.
S	Tutte le stringhe di L(S).
S|T	Tutte le stringhe L(S) e tutte le stringhe di L(T).

Vedere anche

Espressioni regolari dello schema XML | Diagramma di riferimento delle espressioni regolari dello schema XML | Branch | Facet dei tipi di dati