Изменения

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

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

20 байт убрано, 21:55, 19 ноября 2014
м
Примеры
# <tex> 0^*11 </tex>
#: Возможные правые контексты (аргументы упорядочены в лексикографическом порядке):
#:# <tex> C_L^R(0^*) = 0^*(\varepsilon | 1 | 11) </tex>
#:# <tex> C_L^R(0^*1) = 1 </tex>
#:# <tex> C_L^R(0^*10(0|1)^*) = \varnothing </tex>
308
правок

Навигация