颠簸地移动
发表于 2025-3-25 05:55:13
Five Determinisation Algorithms aim to reduce memory usage and produce smaller output automata. One of them produces automata that are already minimal. We apply our algorithms to determinise automata that describe the possible sequences appearing after a fixed-length run of cellular automaton 110, and obtain a significant improvement in both memory and time efficiency.
整理
发表于 2025-3-25 08:56:42
http://reply.papertrans.cn/47/4626/462554/462554_22.png
gimmick
发表于 2025-3-25 12:29:38
Hopcroft’s Minimization Technique: Queues or Stacks?he setting of cover automata and an algorithm based on the Hopcroft’s method used for minimization of cover automata. We also show that a LIFO implementation for the splitting list is desirable for the case of unary languages in the setting of deterministic finite automata.
懒洋洋
发表于 2025-3-25 16:03:47
A Translation from the HTML DTD into a Regular Hedge Grammarize a subclass of SGML DTDs and develop a translation into regular hedge grammars. Thus we can validate dynamically generated HTML documents. We have implemented this translation and incorporated it in the PHP string analyzer. The experimental results show that the validation through this translation works well in practice.
茁壮成长
发表于 2025-3-25 20:39:11
On Complexity of Two Dimensional Languages Generated by Transducerserage growth rate of the number of blocks in the language as a measure of its complexity, also known as the entropy of the language, we show that every entropy value of a one-dimensional regular language can be obtained as an entropy value of a 2d transducer language.
insidious
发表于 2025-3-26 01:53:40
http://reply.papertrans.cn/47/4626/462554/462554_26.png
hyperuricemia
发表于 2025-3-26 05:50:16
Concurrency, Synchronization, and Conflicts in Petri Netswer and upper bounds, respectively, for the boundedness problem. As for the containment and the equivalence problems, Rabin and Hack , respectively, showed these two problems to be undecidable. The reachability problem is known to be decidable and exponential-space-hard .
maculated
发表于 2025-3-26 09:23:15
http://reply.papertrans.cn/47/4626/462554/462554_28.png
aquatic
发表于 2025-3-26 13:29:39
http://reply.papertrans.cn/47/4626/462554/462554_29.png
Exaggerate
发表于 2025-3-26 18:08:13
Tree-Series-to-Tree-Series Transformationsactical condition that guarantees well-definedness of the ts-ts transformation in arbitrary commutative semirings. For positive (ie, zero-sum and zero-divisor free) semirings the condition actually characterizes the well-definedness, so that well-definedness is decidable in this scenario.