317
правок
Изменения
→Пример
== Пример ==
=== Система уравнений ===
[[Файл:at_least_one_zero.png|right]]
Найдем регулярное выражение для языка двоичных представлений чисел, в которых есть хотя бы один ноль
Откуда <tex>L_2 = 01^* (0 + 1)^*</tex>.
=== Обычный вариант ===
Теперь найдем регулярное выражение для этого же автомата с помощью теоремы Клини (обычный вариант).
