On the inference of Turing machines from sample computations

This publication has 10 references indexed in Scilit:

• Some decidability results on grammatical inference and complexity
  Information and Control, 1972
• Toward automatic program synthesis
  Communications of the ACM, 1971
• GRAMMATICAL COMPLEXITY AND INFERENCE
  Published by Defense Technical Information Center (DTIC) ,1969
• Some Studies in Machine Learning Using the Game of Checkers. II—Recent Progress
  IBM Journal of Research and Development, 1967
• Language identification in the limit
  Information and Control, 1967
• Realization of Input-Output Relations by Sequential Machines
  Journal of the ACM, 1966
• Experiments with a deductive question-answering program
  Communications of the ACM, 1965
• A formal theory of inductive inference. Part II
  Information and Control, 1964
• A formal theory of inductive inference. Part I
  Information and Control, 1964
• Synthesis of Minimal-State Machines
  IEEE Transactions on Electronic Computers, 1959