Besednjak

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Besednjak je množica A* vseh besed nad dano abecedo A. Besednjak ima strukturo monoida za stikanje besed. Nevtralni element je prazna beseda, ki jo označimo z ε. Poljubno podmnožico besed besednjaka imenujemo jezik.

Obrat besede je involucija na besednjaku A*, ki vsaki besedi priredi nasprotno besedo: če je w = a1a2 ... an, je obrat wR = ana(n-1) ... a1. negibne točke te involucije se imenujejo palindromi.

Zgled

Če je A = {a}, je A* = {ε, a ,aa, aaa, aaaa, aaaaa, ...}

Če je A = {a,b}, je A* = {ε, a , b, aa, ab, ba, bb, aaa, ...}

Glej tudi

Osebna orodja