电子科技大学2012级研究生陈文宇有限自动机理论期末考试试题