多节
发表于 2025-3-25 04:41:58
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automataucers. Due to this translation we obtain a simple procedure for checking equivalence of 2-DFSAs in polynomial time. We believe that the further development of this approach could bring us to an efficient equivalence checking algorithm for deterministic multi-tape automata with an arbitrary number of tapes.
天空
发表于 2025-3-25 07:29:41
http://reply.papertrans.cn/59/5811/581020/581020_22.png
ingrate
发表于 2025-3-25 12:39:50
http://reply.papertrans.cn/59/5811/581020/581020_23.png
Delectable
发表于 2025-3-25 19:17:54
http://reply.papertrans.cn/59/5811/581020/581020_24.png
Pericarditis
发表于 2025-3-25 20:28:32
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/581020.jpg
到婚嫁年龄
发表于 2025-3-26 03:49:08
978-3-030-13434-1Springer Nature Switzerland AG 2019
JIBE
发表于 2025-3-26 05:11:55
Language and Automata Theory and Applications978-3-030-13435-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
irradicable
发表于 2025-3-26 09:37:20
From Words to Graphs, and Backe discovery of the Prüfer code for trees, the interplay between words and graphs has repeatedly been explored and exploited in both directions. In the present paper, we review some of the many results in this area and discuss a number of open problems related to this topic.
Favorable
发表于 2025-3-26 16:09:42
http://reply.papertrans.cn/59/5811/581020/581020_29.png
subordinate
发表于 2025-3-26 17:55:10
Modern Aspects of Complexity Within Formal LanguagesWe give a survey on some recent developments and achievements of modern complexity-theoretic investigations of questions in Formal Languages (FL). We will put a certain focus on multivariate complexity analysis, because this seems to be particularly suited for questions concerning typical questions in FL.