On the formalization of the concept of an experiment with an automaton

This publication has 4 references indexed in Scilit:

• Derivation of optimum test sequencies for sequential machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1964
• THE ABSTRACT THEORY OF AUTOMATA
  Russian Mathematical Surveys, 1961
• Cascaded Finite-State Machines
  IEEE Transactions on Electronic Computers, 1961
• Gedanken-Experiments on Sequential Machines
  Published by Walter de Gruyter GmbH ,1956