sed-rate
发表于 2025-3-30 10:38:31
http://reply.papertrans.cn/47/4626/462542/462542_51.png
bile648
发表于 2025-3-30 14:54:18
On the Computation of Some Standard Distances Between Probabilistic Automatants an exhaustive analysis of the problem of computing the .. distance between two automata. We give efficient exact and approximate algorithms for computing these distances for . even and prove the problem to be NP-hard for all odd values of ., thereby completing previously known hardness results.
Vldl379
发表于 2025-3-30 16:40:23
Does o-Substitution Preserve Recognizability?s seem to be an interesting transformation device in syntactic pattern matching. In this contribution, it is shown that o-substitution preserves recognizable tree series provided that the target tree series is linear and the semiring is idempotent, commutative, and continuous. This result is applied
减至最低
发表于 2025-3-31 00:28:36
http://reply.papertrans.cn/47/4626/462542/462542_54.png
用树皮
发表于 2025-3-31 03:37:22
Bisimulation Minimization of Tree Automatae non-deterministic tree automata (NTA) with respect to bisimulation. We show that our algorithm has an overall complexity of ., where . is the maximum rank of the input alphabet, . is the total size of the transition table, and . is the number of states.
展览
发表于 2025-3-31 05:36:16
http://reply.papertrans.cn/47/4626/462542/462542_56.png
弓箭
发表于 2025-3-31 12:44:57
Structurally Unambiguous Finite Automataall input strings . and for any state ., there is at most one path from .. to . that consumes .. The definition of SUFA differs from the usual definition of an unambiguous finite automaton (UFA) in that the new definition is defined in terms of the transition logic of the finite automaton, and is in
终点
发表于 2025-3-31 13:47:13
http://reply.papertrans.cn/47/4626/462542/462542_58.png
四海为家的人
发表于 2025-3-31 20:11:04
http://reply.papertrans.cn/47/4626/462542/462542_59.png
Constrain
发表于 2025-4-1 00:07:51
http://reply.papertrans.cn/47/4626/462542/462542_60.png