NEG
发表于 2025-3-25 03:55:26
Sofic-Dyck Shiftsifts is a particular class of shifts of sequences whose finite factors are unambiguous context-free languages. We show that it corresponds exactly to shifts of sequences whose set of factors is a visibly pushdown language. We give an expression of the zeta function of a sofic-Dyck shift which has a deterministic presentation.
ambivalence
发表于 2025-3-25 10:25:41
Alternating Parity Krivine Automatagic is decidable over finite structures. We present an automaton model that captures the semantics of HFL. This automaton model combines alternating parity automata with the lookup mechanisms from the Krivine machine.
行乞
发表于 2025-3-25 12:23:43
http://reply.papertrans.cn/63/6262/626149/626149_23.png
fulcrum
发表于 2025-3-25 16:49:40
http://reply.papertrans.cn/63/6262/626149/626149_24.png
gerrymander
发表于 2025-3-25 23:22:08
http://reply.papertrans.cn/63/6262/626149/626149_25.png
性上瘾
发表于 2025-3-26 01:23:36
http://reply.papertrans.cn/63/6262/626149/626149_26.png
修正案
发表于 2025-3-26 05:34:12
http://reply.papertrans.cn/63/6262/626149/626149_27.png
单纯
发表于 2025-3-26 08:46:26
http://reply.papertrans.cn/63/6262/626149/626149_28.png
可耕种
发表于 2025-3-26 15:03:51
Subword Complexity and Decomposition of the Set of Factorse that the class . coincides with the class of infinite words of linear complexity. On the other hand, although the class . is included in the class of words of complexity .(..), this inclusion is strict for . > 2.
针叶树
发表于 2025-3-26 17:54:03
Conference proceedings 2014tions of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Al