Finite language
= Finite language
A <formal language> with finitely many <words>. Every <finite language> is a <regular language>: take a finite <union> of the <regular expressions> spelling its members, with the <empty language> represented separately when there are no members.