State-identification experiments in finite automata

Cadden, 1959, Equivalent sequential circuits, IRE Trans. on Circuit Theory, CT-6, 30, 10.1109/TCT.1959.1086511 Gill, 1960, Comparison of finite-state models, IRE Trans. on Circuit Theory, CT-7, 178, 10.1109/TCT.1960.1086658 Ginsburg, 1958, On the length of the smallest uniform experiment which distinguishes the terminal states of a machine, J. Computing Mach., 5, 266, 10.1145/320932.320938 Mealy, 1955, A method for synthesizing sequential circuits, Bell System Tech. J., 34, 1045, 10.1002/j.1538-7305.1955.tb03788.x Moore, 1956, Gedanken-experiments on sequential machines, 129