發送短信 : On the amount of nonconstructivity in learning formal languages from positive data

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