142
правки
Изменения
Нет описания правки
{{В разработке}}
== Контексты ==
=== Правые ===
{{Определение
|definition=
'''Правым контекстом''' <tex>C_L^R(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid yz \in L\}</tex>.
}}
{{Утверждение
|statement=
|proof=
}}
=== Левые ===
{{Определение
|definition=
'''Левым контекстом''' <tex>C_L^L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid zy \in L\}</tex>.
}}
{{Утверждение
|statement=
|proof=
}}
=== Двухсторонние ===
{{Определение
|definition=
'''Двухсторонним контекстом''' <tex>C_L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{\langle x,z\rangle \mid xyz \in L\}</tex>.
}}
{{Теорема
|statement=
|proof=
}}
== Синтаксический моноид ==
{{Определение
|definition=
'''Синтаксическим моноидом''' языка <tex>L</tex> называется множество его двухсторонних контекстов с введенной на нем операцией композиции <tex>\circ</tex>, где <tex>C_L(y) \circ C_L(z) = C_L(yz)</tex>. Нейтральным элементом в нем является <tex>C_L(\varepsilon)</tex>
}}
