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

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