GRUEL
发表于 2025-3-23 11:10:45
http://reply.papertrans.cn/28/2703/270241/270241_11.png
watertight,
发表于 2025-3-23 15:33:28
Degrees of Infinite Words, Polynomials and Atoms,rtance in a wide range of fields, from formal languages to pure mathematics and physics. While finite automata for recognising and transforming languages are well-understood, very little is known about the power of automata to transform infinite words..We use methods from linear algebra and analysis
Constrain
发表于 2025-3-23 20:38:29
http://reply.papertrans.cn/28/2703/270241/270241_13.png
辞职
发表于 2025-3-23 23:07:18
Alternating Demon Space Is Closed Under Complement and Other Simulations for Sublogarithmic Space,ed initially. Under weak constructibility assumptions, not excluding monotone functions below ., we show: . .. This extends, to sublogarithmic space, the classical simulation of alternating space by deterministic time. . ., a simulation with simultaneous bounds on time and space. This improves the k
威胁你
发表于 2025-3-24 04:02:37
http://reply.papertrans.cn/28/2703/270241/270241_15.png
LATE
发表于 2025-3-24 07:52:53
On Families of Full Trios Containing Counter Machine Languages,ng and decreasing phases is specified by some fixed “pattern”. We consider families of languages defined by various pattern behaviors and show that some correspond to the smallest full trios containing restricted classes of bounded semilinear languages. For example, one such family is exactly the sm
endoscopy
发表于 2025-3-24 12:15:58
Non-regular Maximal Prefix-Free Subsets of Regular Languages,ny non-regular MPFS..Next, we prove that if a regular language has any non-regular MPFS, then it also has a MPFS which is context-sensitive but not context-free, it has a MPFS which is recursive but not context-sensitive, and it has a MPFS which is not recursively enumerable..We show that no regular
MAIM
发表于 2025-3-24 18:25:45
Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata,new class called bounded-balance MPDAs. These MPDAs allow for infinitely deep nesting/nesting intersection, as long as the nesting depth differences within each scope stay within the balance bound. We compare our contributions to various related MPDAs and ambiguity detection methods.
Aerophagia
发表于 2025-3-24 19:49:30
http://reply.papertrans.cn/28/2703/270241/270241_19.png
佛刊
发表于 2025-3-25 02:32:15
Outfix-Guided Insertion, operation and decision problems related to outfix-guided insertion. Deciding whether a language recognized by a deterministic finite automaton is closed under outfix-guided insertion can be done in polynomial time.