艺术
发表于 2025-3-28 15:53:16
Star-Free Open Languages and Aperiodic Loopsure properties. We also prove that aperiodic loops recognize only star-free open languages and give some examples. Finally, we show that the wreath product principle can be applied to groupoids, and we use it to prove a decomposition theorem for recognizers of regular open languages.
Landlocked
发表于 2025-3-28 22:08:33
Residual Finite State Automataially smaller. We provide an algorithm that computes the canonical RFSA equivalent to a given NFA. We study the complexity of several decision and construction problems linked to the class of RFSA: most of them are PSPACE-complete.
立即
发表于 2025-3-29 00:53:21
Deterministic Radio Broadcasting at Low Costios depending on whether nodes know or do not know global parameters of the network: the number . of nodes and the eccentricity . of the source. Our main contribution are lower bounds on time of low-cost broadcasting which show sharp differences between these scenarios.
Alopecia-Areata
发表于 2025-3-29 06:45:13
http://reply.papertrans.cn/87/8604/860324/860324_44.png
escalate
发表于 2025-3-29 10:12:09
2-Nested Simulation Is Not Finitely Equationally Axiomatizabletyft/tyxt format is a congruence format. In the linear time-branching time spectrum of van Glabbeek [.], 2-nested simulation is one of the few equivalences for which no finite equational axiomati- zation is presented. In this paper we prove that such an axiomatization does not exist for 2-nested simulation.
etiquette
发表于 2025-3-29 15:16:28
http://reply.papertrans.cn/87/8604/860324/860324_46.png
Stress-Fracture
发表于 2025-3-29 19:01:19
http://reply.papertrans.cn/87/8604/860324/860324_47.png
tendinitis
发表于 2025-3-29 20:50:31
The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE—Complete constraints, i.e., such that a possible solution has to respect a specification given by a rational language. Our main result states that the existential theory of equations with rational constraints in free groups is PSPACE-complete.
encomiast
发表于 2025-3-30 03:15:48
http://reply.papertrans.cn/87/8604/860324/860324_49.png
Concerto
发表于 2025-3-30 04:52:00
http://reply.papertrans.cn/87/8604/860324/860324_50.png