Контексты и синтаксические моноиды — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «{{Определение |definition= '''Правым контекстом''' <tex>C_L^R(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называет…»)
 
Строка 2: Строка 2:
 
|definition=
 
|definition=
 
'''Правым контекстом''' <tex>C_L^R(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid yz \in L\}</tex>.
 
'''Правым контекстом''' <tex>C_L^R(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid yz \in L\}</tex>.
 +
}}
 +
{{Определение
 +
|definition=
 +
'''Левым контекстом''' <tex>C_L^L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid zy \in L\}</tex>.
 
}}
 
}}

Версия 19:50, 25 сентября 2010

Определение:
Правым контекстом [math]C_L^R(y)[/math] слова [math]y[/math] в языке [math]L[/math] называется множество [math]\{z \mid yz \in L\}[/math].


Определение:
Левым контекстом [math]C_L^L(y)[/math] слова [math]y[/math] в языке [math]L[/math] называется множество [math]\{z \mid zy \in L\}[/math].