Изменения

Перейти к: навигация, поиск

Контексты и синтаксические моноиды

8 байт убрано, 17:30, 14 мая 2019
Язык слов четной длины
Рассмотрим язык <tex>L = \{\omega \mid |\omega| \bmod 2 = 0 \}</tex>.
<tex>\{\langle u, v \rangle \mid uxv \in L\}</tex> {{---}} это множество всех пар <tex>\langle u,v \rangle</tex>, таких что <tex>|u| + |v| = |x|</tex> <tex>\ (\mathrm{mod</tex> <tex>} \ 2)</tex>.
Значит, <tex>M(L)</tex> состоит из двух элементов: множества слов чётной длины и множества слов нечётной длины. Нейтральным элементом в данном моноиде является множество слов чётной длины.
390
правок

Навигация