formální jazyk Koncept z teorie teorie formálních jazyků Je (potenciálně nekonečná) množina řetězců (slov) nad danou abecedou.