一起平行
发表于 2025-3-25 03:50:23
Bernhard Böschenstein,Ulrich Gaierhe framework of formal language theory. In spite of a vast literature on splicing systems, briefly surveyed here, a few problems related to their computational power are still open. We intend to evidence how classical techniques and concepts in automata theory are a legitimate tool for investigating some of these problems.
价值在贬值
发表于 2025-3-25 07:46:11
https://doi.org/10.1007/978-3-476-99053-2s. We prove that up to an initial part any natural number can occur as complexity of some language. Moreover, we show the existence of languages with small descriptional complexity with respect to one mechanism and large complexity with respect to the other device.
反话
发表于 2025-3-25 14:06:20
Wie Jungen mit Wrestling umgehen .-power of . for an arbitrary finite set . with 0, 1, 2 ∉, . is regular if and only if the root of . is finite. If the root is infinite then the .-power for most regular sets . is context-sensitive but not context-free. The stated property is decidable.
临时抱佛脚
发表于 2025-3-25 16:13:11
http://reply.papertrans.cn/28/2703/270244/270244_24.png
stress-test
发表于 2025-3-25 22:07:38
A Space Lower Bound of Two-Dimensional Probabilistic Turing Machinesnsional stochastic Turing machines (2-stm’s)”, and shows that for any . ≤ .(.) = .(.), .(.) space-bounded 2-ptm’s with bounded error are less powerful than .(.) space-bounded 2-stm’s with bounded error which start in nondeterministic mode, and make only one alternation between nondeterministic and probabilistic modes.
CODE
发表于 2025-3-26 01:34:23
Ulrich Gaier,Valérie Lawitschkahs contain strings and graphs that do not model any micronuclear gene. After a short survey of gene assembly we study the problem of recognizing whether a general legal string or a general overlap graph is a formalization of a micronuclear gene.
thrombosis
发表于 2025-3-26 04:23:10
Computational Processes in Living Cells: Gene Assembly in Ciliateshs contain strings and graphs that do not model any micronuclear gene. After a short survey of gene assembly we study the problem of recognizing whether a general legal string or a general overlap graph is a formalization of a micronuclear gene.
Fibroid
发表于 2025-3-26 11:20:01
http://reply.papertrans.cn/28/2703/270244/270244_28.png
IDEAS
发表于 2025-3-26 15:20:33
http://reply.papertrans.cn/28/2703/270244/270244_29.png
FEMUR
发表于 2025-3-26 18:21:45
http://reply.papertrans.cn/28/2703/270244/270244_30.png