Given a deterministic finite automaton and its implementation with at most one single fault, that we can test on a set of inputs, we provide an algorithm to find a test set that guarantees finding whether the fault exists.

翻译：鉴于一个决定性的有限自动图及其实施最多只存在一个错误, 我们可以测试一组输入, 我们提供一种算法来找到一个测试集, 来保证找到是否存在错误。