labile
发表于 2025-3-23 13:46:16
http://reply.papertrans.cn/28/2703/270223/270223_11.png
察觉
发表于 2025-3-23 17:43:25
http://reply.papertrans.cn/28/2703/270223/270223_12.png
有毒
发表于 2025-3-23 19:12:05
Site-Directed Deletion, two strings . and ., a site-directed deletion partially deletes a substring of . guided by the string . that specifies which part of a substring can be deleted. We study a few decision problems with respect to the new operation and examine the closure properties of the (iterated) site-directed dele
Phagocytes
发表于 2025-3-23 23:08:22
http://reply.papertrans.cn/28/2703/270223/270223_14.png
EXULT
发表于 2025-3-24 03:12:18
Weak Cost Register Automata Are Still Powerful, problems pertaining to that model are undecidable, in particular equivalence, disproving a conjecture of Alur et al. from 2012. To emphasize how weak these machines are, we also show that they can be expressed as a restricted form of linearly-ambiguous weighted automata.
expository
发表于 2025-3-24 07:54:11
http://reply.papertrans.cn/28/2703/270223/270223_16.png
我不重要
发表于 2025-3-24 12:50:03
http://reply.papertrans.cn/28/2703/270223/270223_17.png
cumulative
发表于 2025-3-24 18:30:37
Site-Directed Deletion,be deleted. We study a few decision problems with respect to the new operation and examine the closure properties of the (iterated) site-directed deletion operations. We, then, define a site-directed deletion-closed (and -free) language . and investigate its decidability properties when . is regular or context-free.
fulmination
发表于 2025-3-24 22:32:47
http://reply.papertrans.cn/28/2703/270223/270223_19.png
OREX
发表于 2025-3-25 02:49:17
0302-9743 n, in September 2018. The 39 full papers presented in this volume were carefully reviewed and selected from 84 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphi