Konečný jazyk

Konečný jazyk je formální jazyk obsahující konečný počet slov. Konečné jazyky jsou nejjednoduššími jazyky. Všechny konečné jazyky jsou regulární. Konečné jazyky lze popsat výčtem jejich prvků, zatímco u nekonečných jazyků pouze pomocí definování omezujících podmínek charakterizujících slova, která takový jazyk tvoří.

Pro konečný formální jazyk $𝕃$, kde ${\mathrm{\Sigma }}^{*}$ je uzávěrem konečné neprázdné množiny vstupní abecedy

$𝕃\subseteq {\mathrm{\Sigma }}^{*}$,

platí, že podmnožina $𝕃$ je konečná.