形式语言与自动机理论试题 第3页