Regular Omega Language Learning (ROLL)

User Tools

Site Tools

Trace:
start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
start [2019/01/08 11:07] – [Active Automata Learning Background Knowledge] liyongstart [2019/01/08 11:07] – [Active Automata Learning Background Knowledge] liyong
Line 36: Line 36:
 ===== Active Automata Learning Background Knowledge ===== ===== Active Automata Learning Background Knowledge =====
  
-In the active automata learning setting proposed by Angluin [1], there is a //teacher//, which knows the target language //L//, and a //learner//, whose task is to learn from the teacher the target language, represented by an automaton.+In the active automata learning setting proposed by Angluin [1], there is a //teacher//, who knows the target language //L//, and a //learner//, whose task is to learn from the teacher the target language, represented by an automaton.
 The learner interacts with the teacher by means of two kinds of queries: //membership queries// and //equivalence queries//. The learner interacts with the teacher by means of two kinds of queries: //membership queries// and //equivalence queries//.
 A membership query //MQ[w]// asks whether a string //w// belongs to //L// while an equivalence query //EQ[A]// asks whether the hypothesis automaton //A// recognizes //L//. A membership query //MQ[w]// asks whether a string //w// belongs to //L// while an equivalence query //EQ[A]// asks whether the hypothesis automaton //A// recognizes //L//.
start.txt · Last modified: 2020/12/16 15:03 by liyong