Resistance
发表于 2025-3-28 18:07:40
A Logical Characterization of Small 2NFAsWe prove that automata with polynomially many states are as powerful as formulas with polynomially many clauses and polynomially large constants. This can be seen as a refinement of Immerman’s theorem that nondeterministic logarithmic space matches positive transitive-closure logic (. = .).
ureter
发表于 2025-3-28 20:54:49
Problems on Finite Automata and the Exponential Time Hypothesisrestricted to unary input alphabets. A different type of problems on finite automata relates to aperiodicity and to synchronizing words. We also consider finite automata that work on commutative alphabets and those working on two-dimensional words.
chassis
发表于 2025-3-28 23:40:23
A Practical Simulation Result for Two-Way Pushdown Automatares reachable configurations, simulates a class of quasi-deterministic decision problems in linear time even if the pushdown automaton is nondeterministic, and iterates over a simple work list. This is an improvement over previous simulation algorithms.
Lethargic
发表于 2025-3-29 06:49:33
http://reply.papertrans.cn/47/4626/462535/462535_44.png
残忍
发表于 2025-3-29 10:40:40
Experiments with Synchronizing Automataynchronizing automata, checking them for automata with a small number of states and discussing the results. In particular, we have verified the Černý conjecture for all binary automata with at most 12 states, and all ternary automata with at most 8 states.
刻苦读书
发表于 2025-3-29 11:44:33
http://reply.papertrans.cn/47/4626/462535/462535_46.png
彩色
发表于 2025-3-29 17:10:15
http://reply.papertrans.cn/47/4626/462535/462535_47.png
手段
发表于 2025-3-29 22:06:32
http://reply.papertrans.cn/47/4626/462535/462535_48.png
Organonitrile
发表于 2025-3-30 00:58:38
http://reply.papertrans.cn/47/4626/462535/462535_49.png
characteristic
发表于 2025-3-30 05:57:01
http://reply.papertrans.cn/47/4626/462535/462535_50.png