Et er i informatikk og predikatslogikk en endelig mengde eller . Det vanligste alfabetet er {0,1}, det binære alfabetet. En endelig streng er en endelig 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.