Kleeneov operator

U matematičkoj logici i računarstvu, Kleeneov operator (engl. Kleene star ili Kleene closure) je unarni operator,^[1] bilo nad skupom nizova znakova (stringova), bilo nad skupom znakova (simbola) ili karaktera. Primjena Kleeneovog operatora nad skupom V se zapisuje kao V*. Često je korišten u regularnim izrazima, što je uostalom i kontekst u kojem je uveden od strane Stephena Kleenea prilikom opisivanja značenja pojedinih automata.

1. Ako je V skup nizova znakova, tada je V* definisan kao najmanji nadskup skupa V koji sadrži ε (prazni niz) i zatvoren je nad operacijom nadovezivanja (konkatenacije). Ovaj skup također može biti opisan kao skup svih nizova znakova koji mogu biti načinjeni nadovezivanjem nijednog ili više nizova znakova iz V.
2. Ako je V skup znakova i karaktera, tada je V* skup svih nizova znakova nad znakovima u V, uključujući prazni niz.

1. ^ "Kleene star". planetmath.org. Pristupljeno 7. 6. 2024.