formální jazyk

Koncept z teorie teorie formálních jazyků

Je (potenciálně nekonečná) množina řetězců (slov) nad danou abecedou.