Language Technology:regular-set

Tieteen termipankista

regular language

regular set (vältettävä)
regular language (suositeltu)
Määritelmä yksinkertaisilla operaatioilla yhden merkin mittaisista tai tyhjistä merkkijonoista muodostettavissa oleva merkkijonojen joukko
Selite

Tietyn aakkoston S merkeistä koostuvien merkkijonojen joukko on säännöllinen kieli, jos se voidaan muodostaa (1) tyhjästä joukosta (joka on säännöllinen kieli), (2) tyhjästä merkkijonosta (joka on säännöllinen kieli), (3) aakkoston S mistä tahansa merkistä muodostetusta yhden merkin mittaisen merkkijonon muodostamasta joukosta (jollaiset ovat säännöllisiä kieliä), seuraavassa luetuilla operaatioilla. Kahdesta säännöllisestä kielestä P ja Q voidaan muodostamaa niiden yhdiste (unioni) P ∪ Q, tai ne voidaan asetellla peräkkäin PQ tai säännöllistä kieltä P voidaan toistaa P* ja näin saadut joukot ovat myös säännöllisiä kieliä. Vain tällä tavalla muodostettavissa olevat joukot ovat säännöllisiä kieliä.

Esim. joukko {"", "aa", "aaaa", ...} joka koostuu merkkijonoista, joissa on parillinen määrä a-kirjaimia on säännöllinen kieli. Sen voi katsoa muodostuneen kahdesta joukosta {"a"} peräkkäinasettelulla, jolloin saadaan joukko {"aa"} ja sen jälkeen toistamalla tätä (nolla, yhden tai useamman kerran), jolla saadaan haluttu joukko.

Jokaiselle säännölliselle kielelle on olemassa äärellinen automaatti, joka hyväksyy täsmälleen kyseisen kielen merkkijonot ja kääntäen, jokaisen äärellisen automaatin hyväksymät merkkijonot muodostavat säännöllisen kielen. Samoin, ns. säännölliset kieliopit tuottavat vain säännöllisiä kieliä ja kaikki säännölliset kielet voidaan kuvata sopivilla säännöllisillä kieliopeilla. Säännöllisillä lausekkeilla voidaan määritellä säännöllisiä kieliä.

Erikieliset vastineet

langage rationnelranska (français)
reguljär mängd (luo nimityssivu)ruotsi (svenska)
reguljärt språk (luo nimityssivu)ruotsi (svenska)
reguläre Sprachesaksa (Deutsch)
säännöllinen joukkosuomi (suomi)
säännöllinen kielisuomi (suomi)

Lähikäsitteet


Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 22.12.2024: Language Technology:regular-set. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Language Technology:regular-set.)