Leonard Pitt Inductive Inference, DFAs, and Computational Complexity. 18-44 1989 conf/aii/1989 AII db/conf/aii/aii89.html#Pitt89