Изменения

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

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

241 байт добавлено, 19:53, 25 сентября 2010
Нет описания правки
|definition=
'''Левым контекстом''' <tex>C_L^L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid zy \in L\}</tex>.
}}
{{Определение
|definition=
'''Двухсторонним контекстом''' <tex>C_L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{<x,z> \mid xyz \in L\}</tex>.
}}
142
правки

Навигация