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 je uzávěrem konečné neprázdné množiny vstupní abecedy
,
platí, že podmnožina je konečná.
Reference
Kategorie:Formální jazyky