Построение тестов для древовидных сетей автоматов. I

Предлагается новый структурно-функциональный подход к построению тестов для устройств с памятью, отличительной особенностью которого является использование в качестве элементарных единиц не отдельных значений, а их последовательностей.