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

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