GIBE 发表于 2025-4-1 03:14:37
http://reply.papertrans.cn/28/2703/270227/270227_61.pngGULP 发表于 2025-4-1 06:10:58
Semisimple Synchronizing Automata and the Wedderburn-Artin Theoryural notion of semisimple synchronizing automata. This is a rather broad class since it contains simple synchronizing automata like those in Černý’s series. Furthermore, semisimplicity gives the advantage of “factorizing” the problem of finding a synchronizing word into the sub-problems of finding w把手 发表于 2025-4-1 11:58:19
On Two Algorithmic Problems about Synchronizing Automata problem is to decide whether a given reachable partial automaton is synchronizing. The second one is, given an .-state binary complete synchronizing automaton, to compute its reset threshold within performance ratio less than . ln (.) for a specific constant . > 0.Infusion 发表于 2025-4-1 16:03:53
Synchronizing Automata with Random Inputsynchronization is exponential in the number of states. At the same time, we show that the expected number of letters to synchronize any pair of the famous Černý automata is at most cubic in the number of states.固定某物 发表于 2025-4-1 21:43:28
http://reply.papertrans.cn/28/2703/270227/270227_65.pngosculate 发表于 2025-4-2 02:33:17
http://reply.papertrans.cn/28/2703/270227/270227_66.png负担 发表于 2025-4-2 03:09:55
http://reply.papertrans.cn/28/2703/270227/270227_67.png评论性 发表于 2025-4-2 08:22:00
http://reply.papertrans.cn/28/2703/270227/270227_68.pngdeficiency 发表于 2025-4-2 12:16:21
Visibly Pushdown Transducers with Well-Nested Outputsrds, i.e. words with a call/return structure. When outputs are also structured and well nested words, .s are a natural formalism to express tree transformations evaluated in streaming. We prove the class of .s with well-nested outputs to be decidable in .. Moreover, we show that this class is closed