单项选择题
关于时间自动机，下面不正确的叙述为（）。
A.Buchi自动机的语言是由命题构成的无穷序列的集合B.时间自动机的语言是由命题构成的无穷序列的集合C.时间自动机能够对系统的时间属性进行建模D.LTL可以转换为Buchi自动机
单项选择题 下列问题不为NP-完全问题的为（）。
单项选择题 下列语言为递归可枚举语言为（）。
单项选择题 被图灵机接受的语言为（）。
