發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : The language preservation problem is undecidable for parametric event-recording automata