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 je uzávěrem konečné neprázdné množiny vstupní abecedy

,

platí, že podmnožina je konečná.[1]

Reference

  1. KA01 – Základní definice [online]. Michalův web, 2015-11-03 [cit. 2016-03-11]. Dostupné online.