Изменения

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

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

3 байта убрано, 22:42, 27 ноября 2014
м
Примеры
#: Состояние 10 {{---}} [[Детерминированные_конечные_автоматы#допускает|дьявольское]].
#: Всего 8 состояний (именно столько имеется различных контекстов).
#:[[Файл:Автомат и правые контексты 3.png|350px|thumb|right|Автомат к языку <tex> 0^*11 </tex>]]
# <tex> 0^*11 </tex>
#: Возможные контексты (аргументы упорядочены в лексикографическом порядке):
#:# <tex> C_L^R(0^*11(0|1)^+) = \varnothing </tex>
#: Итого 4 состояния; начальное состояние 1, допускающее 4, состояние 3&5 {{---}} дьявольское.
 
 
 
 
 
=== Левый контекст ===
308
правок

Навигация