Redigerer Alfabet (informatikk)

{{Kildeløs|Helt uten kilder.|dato=10. okt. 2015}}
Et '''alfabet''' er i [[informatikk]] og [[predikatslogikk]] en endelig [[mengde]] ''symboler'' eller ''bokstaver''. Det vanligste alfabetet er {0,1}, det binære alfabetet. En endelig [[Streng (informatikk)|streng]] er en endelig [[Følge (matematikk)|følge]] av bokstaver fra et alfabet; for eksempel er en binær streng en streng med bokstaver fra det binære alfabetet. Også en uendelig følge av bokstaver kan konstrueres med bokstaver fra et alfabet.

Gitt et alfabet <math>\Sigma</math>, skriver man <math>\Sigma^*</math> for å uttrykke mengden av alle endelige strenger over alfabetet <math>\Sigma</math>. Her indikerer <math>{}^*</math> [[Kleene-stjerne]]-operatoren. Man skriver <math>\Sigma^\infty</math> (eller av og til <math>\Sigma^\N</math> eller <math>\Sigma^\omega</math>) for å uttrykke mengden av alle uendelige følger over alfabetet <math>\Sigma</math>.

For eksempel, hvis man bruker det binære alfabetet {0,1}, vil alle strengene (ε, 0, 1, 00, 01, 10, 11, 000, osv.) være i alfabetets Kleene-omfang.

Alfabeter er viktige i bruken av [[Formelt språk|formelle språk]], [[Automatteori|automater]] og [[semiautomat]]er. Når man definerer spesifikke automater, er det i de fleste tilfeller nødvendig å spesifisere et alfabet som inputtstrengene til automaten er bygd opp fra.
{{Autoritetsdata}}

[[Kategori:Formelle språk]]