Об описании конечного автомата с помощью конечного множества вход-выходных последовательностей. I

Показано, что при использовании введенного в работе представления об эквивалентных преобразованиях вход-выходных последовательностей можно поведение любого сильно связного конечного автомата полностью определить заданием конечного множества вход-выходных последовательностей конечной длины с отметками, выделяющими их начальные части (заданием $k$-набора). Дан алгоритм составления $k$-набора для заданного конечного автомата.