Designing tests for automata networks from signal sequences. I. Calculus of generalized asynchronous sequences

A special language is introduced for describing the functioning of elements with memory and discrete devices in general. Their behavior is specified “linewise” rather than “setwise”. The proposed procedures add up to a new range of test design algorithms.