Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
24 байта убрано
,
09:40, 21 января 2012
м
Нет описания правки
Язык, содержащий хотя бы одно слово, назовём '''непустым'''.
{{
Утверждение
Теорема
|id=
regEmpty
{{
Утверждение
Теорема
|id=
regEqual
}}
{{
Утверждение
Теорема
|id=
regFinite
Shevchen
171
правка
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
