142
правки
Изменения
Нет описания правки
|definition=
'''Двухсторонним контекстом''' <tex>C_L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{\langle x,z\rangle \mid xyz \in L\}</tex>.
}}
{{Утверждение
|id=th1
|statement=
Язык <tex>L</tex> {{---}} регулярный
|proof=
}}
