Изменения

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

135 байт добавлено, 20:09, 25 сентября 2010

Нет описания правки

}}

{{Утверждение

~~|id=th1~~

|statement=

Язык <tex>L</tex> {{---}} регулярный <tex>\Leftrightarrow</tex> множество <tex>\{C_L^R(y) \mid y \in \sum^*\}</tex> его правых контекстов конечно

|proof=

}}

142

правки