Säännöllisten kielten suljettu ominaisuus

Säännöllisten kielten  sulkeutumisominaisuus - kielten sulkemisen pääominaisuudet ilmaistaan ​​sulkeutumisena seuraavien operaatioiden suhteen: liitto, leikkaus, yhteenlasku, ero, käännös, iteraatio, ketjuttaminen, homomorfismi , käänteinen homomorfismi.

Ominaisuuden avulla voit luoda kielentunnistimen (rakennettu kahdesta muusta kielestä operaatioilla [konkatenaatio jne.]) yhdistämällä mekaanisesti kaksi luovutuskielen automaattia. Mutta koska tällainen automaatti sisältää enemmän tiloja kuin jompikumpi näistä kahdesta, sulkemisominaisuus osoittautuu hyödylliseksi työkaluksi monimutkaisten automaattien rakentamiseen [1] .

Muistiinpanot

  1. Hopcroft, 2002 .

Kirjallisuus