Изменения

'''Правым контекстом''' (англ. ''right context'') <tex>C_L^R(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid yz \in L\}</tex>.

'''Левым контекстом''' (англ. ''left context'') <tex>C_L^L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{z \mid zy \in L\}</tex>.

'''Двухсторонним контекстом''' (англ. ''two-sided context'') <tex>C_L(y)</tex> слова <tex>y</tex> в языке <tex>L</tex> называется множество <tex>\{\langle x,z\rangle \mid xyz \in L\}</tex>.

'''Синтаксическим моноидом''' (англ. ''syntactic monoid'') <tex>M(L)</tex> языка <tex>L</tex> называется множество его двухсторонних контекстов с введенной на нем операцией конкатенации <tex>\circ</tex>, где <tex>C_L(y) \circ C_L(z) = C_L(yz)</tex>. Нейтральным элементом в нём является <tex>C_L(\varepsilon)</tex>.