Пряничникова, Е.А.
(Труды Института прикладной математики и механики, 2009)
Для языков, представимых графами с отмеченными вершинами, доказывается теорема, аналогичная теореме Майхилла-Нерода для языков, распознаваемых конечными автоматами. На основе доказательства теоремы показано, что любому ...