RPNI

Pairings in the atlas

State-merging inductionspecialistGrammar induction automata-languages

Rivals: other methods for the same problems

Angluin's L-star

Where it sits

automata-languages · Formal Languages & Compilers