upravena definicia LE-regex; veta-LE-regex+homomorfizmus