Exactly Learning Automata of Small Cover Time

  • Authors:
  • Dana Ron;Ronitt Rubinfeld

  • Affiliations:
  • Laboratory of Computer Science, MIT, Cambridge, MA 02139/ E-mail: danar@theory.lcs.mit.edu;Computer Science Department, Cornell University, Ithaca, NY 14853/ E-mail: ronitt@cs.cornell.edu

  • Venue:
  • Machine Learning - Special issue on the eighth annual conference on computational learning theory, (COLT '95)
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present algorithms for exactly learning unknown environments thatcan be described by deterministic finite automata. The learnerperforms a walk on the target automaton, where at each step itobserves the output of the state it is at, and chooses a labeled edgeto traverse to the next state. The learner has no means of a reset,and does not have access to a teacher that answers equivalencequeries and gives the learner counterexamples to its hypotheses. Wepresent two algorithms: The first is for the case in which theoutputs observed by the learner are always correct, and the second isfor the case in which the outputs might be corrupted by randomnoise. The running times of both algorithms are polynomial in thecover time of the underlying graph of the target automaton.