Изменения
→Язык L = 0^n1^n над алфавитом \Sigma = \{0,1\}
Заметим, что <tex>[[0]]</tex> и <tex>[[1]]</tex> не имеют обратных элементов в данном моноиде, так как нейтральный элемент содержит только пустую строку, а её невозможно получить из непустой с помощью конкатенации. Следовательно <tex>L</tex> не является групповым языком.
====Язык <tex>L = 0^n1^n</tex> над алфавитом <tex>\Sigma = \{0,1\}</tex>из последовательных N нулей и N единиц====
Язык <tex>L = 0^n1^n</tex> задан над алфавитом <tex>\Sigma = \{0,1\}</tex>.
