64
правки
Изменения
м
→Примеры
<tex>[[\varepsilon]]</tex> {{---}} нейтральный элемент. Включает в себя только пустую строку. <tex>C_L(\varepsilon)</tex> состоит из всех пар строк, которые при конкатенации дают слово из языка.
<tex>[[1(0|1)^*]]</tex>. <tex>C_L(x) = C_L(\varepsilon) \cup \{\langle \varepsilon, v \rangle \mid v</tex> {{---}} любое <tex>\}</tex>, где <tex>x</tex> {{---}} слово из данного класса эквивалентности.
<tex>[[0(0|1)^*]]</tex>. <tex>C_L(x) = \{\langle u, v \rangle \mid u \in L \}</tex>, где x {{---}} слово из данного класса эквивалентности.
