畏缩
发表于 2025-3-26 21:45:30
http://reply.papertrans.cn/65/6423/642204/642204_31.png
lacrimal-gland
发表于 2025-3-27 04:44:28
Fair Equivalence Relationse show that while game- bisimulation and ∀-bisimulation have the same expressiveness hierarchy as tree automata, ∃-bisimulation induces a different hierarchy. This hierarchy lies between the hierarchies of word and tree automata, and it collapses at Rabin conditions of index one, and Streett conditi
nitric-oxide
发表于 2025-3-27 06:04:50
http://reply.papertrans.cn/65/6423/642204/642204_33.png
小淡水鱼
发表于 2025-3-27 10:10:34
http://reply.papertrans.cn/65/6423/642204/642204_34.png
theta-waves
发表于 2025-3-27 16:07:37
http://reply.papertrans.cn/65/6423/642204/642204_35.png
上下连贯
发表于 2025-3-27 17:53:47
http://reply.papertrans.cn/65/6423/642204/642204_36.png