不出名
发表于 2025-3-23 13:37:12
Deciding Proper Conjugacy of Classes of One-Sided Finite-Type-Dyck Shifts, shifts constitute a subclass of these sets of sequences. A (one-sided) finite-type-Dyck shift is defined as the set of infinite sequences avoiding both some finite set of words and some finite set of matching patterns. We prove that proper conjugacy is decidable for a large class of one-sided finit
Spartan
发表于 2025-3-23 17:26:55
Transfinite Lyndon Words,e exists a unique factorization in Lyndon words that are locally decreasing, a relaxation of the condition used in the case of finite words..In a second part, we prove that the factorization of a rational word has a special form and that it can be computed in polynomial time from a rational expressi
Benign
发表于 2025-3-23 18:56:19
Unary Patterns with Permutations,idance of patterns with palindromes, avoidance of powers under coding, and other questions of recent interest. Unary patterns with permutations have been previously analysed only for lengths up to 3. Consider a pattern ., with ., . a word variable over an alphabet . and . function variables, to be r
Intellectual
发表于 2025-3-24 00:39:41
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change,c formulas that connect properties of successive letters. In the second, the letters are considered as columns of a labeled grid which an automaton traverses column by column. Thus, both models focus on the comparison of successive letters, i.e. “local changes”. We prove closure (and non-closure) pr
真实的你
发表于 2025-3-24 03:08:20
http://reply.papertrans.cn/28/2703/270235/270235_15.png
expeditious
发表于 2025-3-24 07:46:33
http://reply.papertrans.cn/28/2703/270235/270235_16.png
conceal
发表于 2025-3-24 11:39:24
*-Continuous Kleene ,-Algebras,module and an infinite product operation that is also .-continuous. We show that .-continuous Kleene .-algebras give rise to iteration semiring-semimodule pairs, and that for Büchi automata over .-continuous Kleene .-algebras, one can compute the associated infinitary power series.
cortex
发表于 2025-3-24 15:26:02
http://reply.papertrans.cn/28/2703/270235/270235_18.png
intuition
发表于 2025-3-24 20:28:58
http://reply.papertrans.cn/28/2703/270235/270235_19.png
ORBIT
发表于 2025-3-25 02:31:58
Hypothesis-Driven Simulation Studiestion “up to permutation” and “up to subset”. Although all these variations have been considered before, it appears that the languages of words having these properties have not been positioned in the Chomsky hierarchy up to now. We also consider the length of the shortest word . having the desired property.