Automatic synthesis of state machines from trace diagrams

This publication has 5 references indexed in Scilit:

• Computational learning theory
  Published by Association for Computing Machinery (ACM) ,1992
• Inductive Inference: Theory and Methods
  ACM Computing Surveys, 1983
• Constructing Programs from Example Computations
  IEEE Transactions on Software Engineering, 1976
• Speeding up the Synthesis of Programs from Traces
  IEEE Transactions on Computers, 1975
• Language identification in the limit
  Information and Control, 1967