论文信息 - Proof of an achievable bound on the length of a conditional diagnostic experiment for a finite automaton - 字舞流文

Proof of an achievable bound on the length of a conditional diagnostic experiment for a finite automaton

[1] Arthur Gill,et al. Introduction to the theory of finite-state machines , 1962 .

[2] Thomas N. Hibbard,et al. Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines , 1961, JACM.