Regulaaravaldis

**Regulaaravaldis** (ingl. *regular expression*, *regex* või *regexp*) on teoreetilises informaatikas märkidest koosnev otsingumuster. Tavaliselt kasutatakse sellist mustrit sõnedes otsingu- ja/või asendusoperatsioonideks.

Regulaaravaldisi kasutatakse otsingumootorites, tekstiredaktorite otsimis- ja asendamisdialoogides, tekstitöötlustööriistades, nagu sed ja AWK, ning leksikaanalüüsis. Regulaaravaldiste tugi on enamikus programmeerimiskeeltes sisseehitatud või saadaval teekidega. Regulaaravaldiste kirjutamiseks on erinevaid süntakseid, näiteks POSIX-i standard ja laialdaselt levinud Perli süntaks.

## Mustrid
Regulaaravaldistega kirjeldatakse otsingumustreid. Selleks kasutatavad sümbolid on kas metamärgid (erilise tähendusega) või tavalised sümbolid (otsese tähendusega). Näiteks regulaaravaldises `a.` tähistab *a* tähelist vastavust 'a' ning *.* metamärki, mis sobitub kõikide sümbolitega välja arvatud reavahetus. Seega sobituks see regulaaravaldis näiteks sõnedega *a *või *ax* või *a0*. Mustrisobituse vastete võimalikku täpsust saabki reguleerida metamärkide kasutusega. Näiteks on `.` väga üldine muster, `[a-z]` (sobivad kõik tähed *a* kuni *z*) on vähem üldisem ning `a` on väga täpne muster (sobib vaid *a*). Metamärkide süntaks on loodud lihtsaks ja paindlikuks tekstitöötluse automatiseerimiseks kujul, mida on lihtne tavalisel ASCII klaviatuuril kirjutada.

Väga lihtne näide sellisest regulaaravaldisest oleks leida tekstiredaktoris sama sõna mitme erineva kirjapildiga. Näiteks `Helsin[gk]i` sobitub nii sõnaga "Helsingi" kui ka sõnaga "Helsinki".

### Sümbol võimalike hulgast
Kandiliste sulgude (`'''['''` ja `''']'''`) abil saab defineerida sümbolivaliku. Nende vahel olev avaldis sobitab *täpselt ühte* sümbolit võimalikest. Lisaks saab selle avaldise alguses kasutada tsirkumfleksi (`'''^'''`) tähtedevaliku välistamiseks ning kahe tähe vahel kasutada sidekriipsu (`'''-'''`) tähtede vahemiku määramiseks ASCII järgi. Näiteks `[a-g]` on samaväärne kui `[abcdefg]`.

### Defineeritud sümbolivalikud
Samuti toetab osa regulaaravaldise mootoritest järgnevaid märgivaliku lühivorme, mida saab kirjeldada ka kandiliste sulgude (`[` ja `]`) vahel olevate avaldistega.

### Kvantifikaatorid
Kvantifikaatorid lubavad eelneval avaldisel korduda.

Need kvantifikaatorid viitavad eelnevale regulaaravaldise osale, kuid mitte tingimata nende leitud vastele. Näiteks `a+` sobitub nii sõnega *a* kui ka sõnega *aaaa*, aga `[0-9]+` korral ei pea korduma sama number, vaid need võivad olla ka erinevad, näiteks sobib *0741852*.
Veel näiteid:
* `[ab]+` korral sobivad *a*, *b*, *aa*, *bbbaab* jne
* `[0-9]{2,5}` korral sobivad kõik kahe, kolme, nelja või viienumbrilised sõned, näiteks *42* või *12345*, kuid mitte sõned *0*, *1.1* ega *a1b2.*

## Ajalugu
Regulaaravaldised pärinevad 1951. aastast, mil matemaatik Stephen Cole Kleene kirjeldas regulaarkeeli ning kasutas selleks matemaatilist kirjapilti, mida ta kutsus regulaarhulkadeks. Üks varasemaid mustrisobituse implementatsioone realiseeriti SNOBOL keeles, mis kasutas regulaaravaldiste asemel oma mustrisobituskonstrukte.

Regulaaravaldised muutusid eriti populaarseks 1968. aastast kahes kasutusvaldkonnas: mustrisobitus tekstiredaktorites ja leksikaanalüüs kompilaatorites. Üks esimesi regulaaravaldiste realisatsioone oli Ken Thompsoni QED redaktorisse lisatud tekstifailide mustriotsing, mis kasutas parema jõudluse eesmärgil sünkroonkompilaatorit. Hiljem lisas ta selle tööriista ka Unixi redaktorisse ed, millest inspireerituna loodi ka tänapäeval populaarne otsingutööriist grep. Samal ajal kui Thompson arendas QEDi, implementeerisid teadlased, sh Douglas T. Ross regulaaravaldistel põhinevat leksikaanalüüsi tööriista, mida kasutatakse kompilaatoriidisainis.

1970. aastatel kasutasid mitmed Unix programmid (nt vi, lex, sed, AWK ja expr) regulaaravaldiste variatsioone. Ajapikku võeti kasutusele järjest rohkem erinevaid avaldisi. Need algsed mustrite kujud standardiseeriti POSIX.2 standardiga 1992. aastal.

1980. aastatel tõusid Perlis esile keerulisemad regulaaravaldised, mis tulenesid algselt Henry Spenceri loodud regulaaravaldiste teegist. Spenceri hilisemat parema jõudluse ja Unicode'i toega teeki Tcl-ile kasutatakse muuhulgas ka PostgreSQLis.

1997. aastast on Philip Hazel arendanud PCRE teeki C-keelele, mis üritab matkida Perli regulaaravaldiste funktsionaalsust. Seda kasutatakse paljudes tänapäevastes tööriistades, muuhulgas ka PHPs ja Apache HTTP Serveris.

Tänapäeval on regulaaravaldised laialdaselt toetatud programmeerimiskeeltes, tekstitöötlusprogrammides ja -redaktorites ning mujal. Regulaaravaldised on paljude programmeerimiskeelte standardteegis, näiteks Javas ja Pythonis, ning osal keeltest süntaksis, näiteks Perlis ja ECMAScriptis. Regulaaravaldiste funktsionaalsuse implementatsioone kutsutakse tihti **[[regulaaravaldise mootor]]iks** ning mitmeid teeke saab mitmeotstarbeliselt kasutada.

## Viited