Изменения

Перейти к: навигация, поиск
Система уравнений
=== Система уравнений ===
[[Файл:at_least_one_zero.png|right]]
Найдем регулярное выражение для языка двоичных представлений чисел, в которых есть хотя бы один ноль. Для этого составим уравнение, добавляя соответствующие переменные в правую часть при наличии перехода по символу, а так же <tex>\varepsilon</tex> для терминального состояния, как это указано в доказательстве.
<tex>
317
правок

Навигация