Text this: On the amount of nonconstructivity in learning formal languages from positive data

  ______     ___      ______    ______    ______  
 /_   _//   / _ \\   /_____//  /_   _//  /_   _// 
 `-| |,-   | / \ ||  `____ `    -| ||-     | ||   
   | ||    | \_/ ||  /___//     _| ||_    _| ||   
   |_||     \___//   `__ `     /_____//  /__//    
   `-`'     `---`    /_//      `-----`   `--`     
                     `-`