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

           __   __   __   _      ___     _____    
  ____     \ \\/ // | || | ||   / _ \\  |  __ \\  
 |    \\    \ ` //  | '--' ||  / //\ \\ | |  \ || 
 | [] ||     | ||   | .--. || |  ___  ||| |__/ || 
 |  __//     |_||   |_|| |_|| |_||  |_|||_____//  
 |_|`-`      `-`'   `-`  `-`  `-`   `-`  -----`   
 `-`