潜移默化 发表于 2025-3-25 06:35:19
Conference proceedings 2020ned to be held in Milan, Italy, in March 2020. Due to the corona pandemic, the actual conference was postponed and will be held together with LATA 2021..The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. They were organized in topical sections named懦夫 发表于 2025-3-25 08:33:53
Recompression: Technique for Word Equations and Compressed Dataord equations runs in nondeterministic linear space..The approach turned out to be quite robust and can be applied to various generalized, simplified and related problems, in particular, to problems in the area of grammar compressed words. I will comment on some of those applications.Limerick 发表于 2025-3-25 13:08:39
http://reply.papertrans.cn/59/5811/581014/581014_23.pngHarass 发表于 2025-3-25 17:58:08
http://reply.papertrans.cn/59/5811/581014/581014_24.pngSTERN 发表于 2025-3-25 20:51:12
http://reply.papertrans.cn/59/5811/581014/581014_25.png光滑 发表于 2025-3-26 02:03:57
Ordered Semiautomatic Rings with Applications to Geometrytable dense subring of the real numbers and additions and comparisons and multiplications with constants need to be automatic. It is shown that the ring can be selected such that equilateral triangles can be represented and rotations by . are possible, while the standard representation of the .-adic rationals does not allow this.llibretto 发表于 2025-3-26 08:09:11
Conference proceedings 20201..The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. They were organized in topical sections named: algebraic structures; automata; complexity; grammars; languages; trees and graphs; and words and codes. The book also contains 6 invited papers in full-paper length. .Adornment 发表于 2025-3-26 09:43:40
http://reply.papertrans.cn/59/5811/581014/581014_28.png藕床生厌倦 发表于 2025-3-26 13:47:55
Alternating Finite Automata with Limited Universal Branchingconverted to an NFA with . states. We consider corresponding lower bounds for the transformation. The . of an AFA counts the number of all (existential and universal) branches of the computation. We give upper and lower bounds for converting an AFA of bounded tree width to a DFA.Brocas-Area 发表于 2025-3-26 17:12:12
http://reply.papertrans.cn/59/5811/581014/581014_30.png