infinite words; deterministic pushdown automata;
机译:在参数定时自动机和单计数器机器上
机译:在Büchi一计数器自动机上
机译:一台自动机上的模型检查固定冻结LTL
机译:o NB U池one-counter automata
机译:女权主义的交集:在文化边界内/跨文化边界阅读路易丝·埃德里希(Louise Erdrich)和Buchi Emecheta。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:确定性奇偶性和Buchi自动机及其相对的最小化 确定性有限自动机的最小化
机译:走向自动机III的同源代数:3。自动机的组成系列。 4. Q-automata的扩展