О мультимножестве выходных слов конечного автомата

Автоматная функция (при подаче всех входных слов), вообще говоря, некоторые выходные слова не выдает, а некоторые из них выдает неоднократно. Если сопоставить слову число его появлений на выходе автомата, то возникает новая функция, названная авторами гистограммной функцией автомата, а само множество выходных слов становится мультимножеством. Изучаются свойства таких мультимножеств.