section_heading: Odlučivanje regularnosti jezika
paragraph_text: Postoje dva čisto algebarska pristupa prilikom definiranja regularnih jezika. Ako je &Sigma; konačna abeceda i &Sigma;* označava slobodni monoid nad &Sigma; ako se sastoji od svih nizova znakova nad &Sigma;, &nbsp;f : &Sigma;* &rarr; M je monoidni homeomorfizam pri čemu je M konačni monoid, S podskup skupa M, i pri tome je skup f<sup>&nbsp;&minus;1</sup>(S) regularan. Svaki regularni jezik može iznići na ovakav način.