alliance
发表于 2025-3-26 21:52:33
Generalizing the Discrete Timed Automatonta augmented with various data structures. We give examples of such data structures and exhibit some new properties of discrete timed automata that can be verified. We also briefly consider reachability in discrete timed automata operating in parallel.
小淡水鱼
发表于 2025-3-27 02:47:43
http://reply.papertrans.cn/47/4626/462532/462532_32.png
沐浴
发表于 2025-3-27 05:48:10
http://reply.papertrans.cn/47/4626/462532/462532_33.png
流逝
发表于 2025-3-27 10:27:28
http://reply.papertrans.cn/47/4626/462532/462532_34.png
exigent
发表于 2025-3-27 17:37:54
http://reply.papertrans.cn/47/4626/462532/462532_35.png
misanthrope
发表于 2025-3-27 18:43:20
http://reply.papertrans.cn/47/4626/462532/462532_36.png
Negligible
发表于 2025-3-28 00:04:50
http://reply.papertrans.cn/47/4626/462532/462532_37.png
Ballerina
发表于 2025-3-28 03:57:01
http://reply.papertrans.cn/47/4626/462532/462532_38.png
返老还童
发表于 2025-3-28 08:21:21
Automata for Pro-V Topologiesogies (including the profinite one), of a rational language given by a finite automaton. In this paper we show that these algorithms can be obtained by an automata theoretic approach by using a result of Pin and Reutenauer. We also analyze precisely the complexity of these algorithms.
自负的人
发表于 2025-3-28 12:28:37
http://reply.papertrans.cn/47/4626/462532/462532_40.png