FOR
发表于 2025-3-26 22:50:49
,Shortest Accepted Strings for Two-Way Finite Automata: Approaching the , Lower Bound,s paper, a family of .-state automata with shortest accepted strings of length . is constructed, thus improving the lower bound. For the special case of direction-determinate automata (those that always remember in the current state whether the last move was to the left or to the right), the maximum
annexation
发表于 2025-3-27 04:54:37
http://reply.papertrans.cn/27/2683/268290/268290_32.png
conservative
发表于 2025-3-27 06:52:08
,Merging Two Hierarchies of External Contextual Grammars with Subregular Selection,es. In the past, two independent hierarchies have been obtained for external and internal contextual grammars, one based on selection languages defined by structural properties (finite, monoidal, nilpotent, combinational, definite, ordered, non-counting, power-separating, suffix-closed, commutative,
消息灵通
发表于 2025-3-27 12:27:19
,A Tight Upper Bound on the Length of Maximal Bordered Box Repetition-Free Words,ength of a bordered box repetition-free word is at most ., with ., where . denotes the size of the alphabet. An alternative approach is given to prove that .(.) is an upper bound, which enables a proof that this upper bound is tight.
常到
发表于 2025-3-27 14:23:51
,Pushdown and One-Counter Automata: Constant and Non-constant Memory Usage, counter grows at least as a logarithmic function. This bound can be reached. This is in contrast with the case of pushdown automata in which the optimal bound is double logarithmic. For the . and . measures these bounds are shown to be linear, for both pushdown and one-counter automata.
后来
发表于 2025-3-27 18:48:00
http://reply.papertrans.cn/27/2683/268290/268290_36.png
财产
发表于 2025-3-27 23:57:50
http://reply.papertrans.cn/27/2683/268290/268290_37.png
来自于
发表于 2025-3-28 02:39:15
,Shortest Accepted Strings for Two-Way Finite Automata: Approaching the , Lower Bound,of direction-determinate automata (those that always remember in the current state whether the last move was to the left or to the right), the maximum length of the shortest accepted string is determined precisely as ..
TERRA
发表于 2025-3-28 08:53:57
Conference proceedings 2023iewed and selected from 16 submissions. The conference focus on all aspects of descriptional complexity, including automata, grammars, languages, and other formal systems; various modes of operations and complexity measures..
MURKY
发表于 2025-3-28 10:47:44
http://reply.papertrans.cn/27/2683/268290/268290_40.png