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

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