Öppna huvudmenyn

Inom datavetenskap och matematisk logik kallas en ändlig och icke tom mängd för alfabet när avsikten är att använda den för strängoperationer. Mängdens element kallas då ofta "tecken", exempelvis siffror, bokstäver. Ett vanligt alfabet är till exempel det binära alfabetet {0,1} eller det svenska alfabetet {a, ..., ö, A, ..., Ö}. En ändlig sträng är en ändlig följd (sekvens) av bokstäver från alfabetet - exempelvis är en binär sträng en sekvens av ettor och nollor från alfabetet {0,1}. Även oändliga strängar kan bildas från alfabetet.

Om vi har ett alfabet, vanligen betecknat , skriver vi för att betckna mängden av alla ändliga strängar över alfabetet . Här betecknar operatorn Kleenestjärna, så kallas också Kleenehöljet till . Man skriver (även eller ) för att beteckna mängden av alla oändliga strängar över .

Exempelvis, om vi använder det binära alfabetet {0,1}, ingår alla strängarna ε, 0, 1, 00, 01, 10, 11, 000, etc. i alfabetets Kleenehölje {0,1}* (där ε betecknar den tomma strängen).

Alfabeten är viktiga inom formella språk och automatteori.

ReferenserRedigera