308
правок
Изменения
м
→Примеры
#: Состояние 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 {{---}} дьявольское.
=== Левый контекст ===