Проверка полноты в классе линейных дефинитных автоматов множеств, содержащих константу ноль.доклад на конференции