в статье рассматриваются свойства базисных конечных автоматов и функции разметки состояний произвольных недетерминированных конечных автоматов. Некоторые из таких свойств описывают выходной язык любого состояния произвольного недетерминированного конечного автомата, определяющий заданный регулярный язык, через входные и выходные языки состояний эквивалентного канонического автомата. В статье также доказаны некоторые свойства бинарного отношения, связывающего состояния двух канонических автоматов: для заданного языка и для зеркального к нему