维持
发表于 2025-3-26 21:30:41
http://reply.papertrans.cn/47/4626/462536/462536_31.png
Heresy
发表于 2025-3-27 04:32:54
More on Deterministic and Nondeterministic Finite Cover Automatational complexity perspective. An important contribution to the theory of finite languages are the deterministic and the recently introduced nondeterministic finite . automata (DFCAs and NFCAs, respectively) as an alternative representation of finite languages by ordinary finite automata. We compare
荧光
发表于 2025-3-27 07:05:16
On the Number of Synchronizing Colorings of Digraphslement set in such a way that outgoing edges of every vertex have different colors. Such a coloring corresponds naturally to an automaton. The road coloring theorem states that every primitive digraph has a synchronizing coloring..In the present paper we study how many synchronizing colorings can ex
outset
发表于 2025-3-27 13:28:34
On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism a Monte-Carlo approach to uniformly sample a NFA. Secondly, we show how to use the Metropolis-Hastings Algorithm to uniformly generate NFAs up to isomorphism. Using labeling techniques, we show that in practice it is possible to move into the modified Markov Chain efficiently, allowing the random g
的是兄弟
发表于 2025-3-27 16:13:56
http://reply.papertrans.cn/47/4626/462536/462536_35.png
admission
发表于 2025-3-27 20:43:33
Subword Metrics for Infinite Wordsspace as a metric space, the Cantor-space. It turned out that for several purposes topologies other than the one of the Cantor-space are useful, e.g. for studying fragments of first-order logic over infinite words or for a topological characterisation of random infinite words..Continuing the work of
龙虾
发表于 2025-3-27 23:40:08
From Two-Way to One-Way Finite Automata—Three Regular Expression-Based Methods methods yield relatively simple techniques to directly construct one-way automata that simulate the behavior of two-way automata. The approaches also offer conceptually uncomplicated alternative equivalence proofs of two-way automata and one-way automata, particularly in the deterministic case.
为现场
发表于 2025-3-28 03:38:16
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchrs) which are widely used in many applications. A homing sequence allows establishing the state of the given FSM after applying the sequence while a distinguishing sequence allows learning the state of the given FSM before the sequence is applied. On the other hand, other sequences, namely, synchroni
固执点好
发表于 2025-3-28 06:36:13
http://reply.papertrans.cn/47/4626/462536/462536_39.png
使隔离
发表于 2025-3-28 11:12:14
http://reply.papertrans.cn/47/4626/462536/462536_40.png