Использование последовательностей сигналов при построении тестов для сетей автоматов. I. Исчисление обобщенных асинхронных последовательностей

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