压碎
发表于 2025-3-28 18:09:20
0302-9743 g, Russia, in August 2014. The 22 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions. The papers are organized in topical subjects on Grammars, Acceptors and Transducers for Words, Trees and Graphs, Algebraic Theories of Au
生命层
发表于 2025-3-28 20:25:07
Cindy L. Bethel,Zachary Henkel,Kenna Baugus rank of a regular language ., which is the minimal adjacency matrix rank of a deterministic automaton that recognises .. We then define and focus on rank-one languages. We also define the expanded canonical automaton of a rank-one language.
乐意
发表于 2025-3-29 02:48:37
http://reply.papertrans.cn/28/2703/270227/270227_43.png
BOOM
发表于 2025-3-29 05:29:07
Pasqualino Santori,Clemens Driessenformations evaluated in streaming. We prove the class of .s with well-nested outputs to be decidable in .. Moreover, we show that this class is closed under composition and that its type-checking against visibly pushdown languages is decidable.
habitat
发表于 2025-3-29 08:37:17
http://reply.papertrans.cn/28/2703/270227/270227_45.png
诙谐
发表于 2025-3-29 12:57:20
https://doi.org/10.1007/978-3-662-64609-0r variant of pumping lemma and an analogue of Ogden lemma for this language family. We also use these statements to prove that some natural context-sensitive languages cannot be generated by tree-adjoining grammars.
纪念
发表于 2025-3-29 18:53:29
Graph Spectral Properties of Deterministic Finite Automata rank of a regular language ., which is the minimal adjacency matrix rank of a deterministic automaton that recognises .. We then define and focus on rank-one languages. We also define the expanded canonical automaton of a rank-one language.
有其法作用
发表于 2025-3-29 20:41:52
Input-Driven Pushdown Automata with Limited Nondeterminismat most . computations on any input. It is shown that the smallest deterministic IDPDA equivalent to a .-path NIDPDA of size . is of size Θ(..). The paper also gives an algorithm for deciding whether or not a given NIDPDA has the .-path property, for a given .; if . is fixed, the problem is P-complete.
观点
发表于 2025-3-30 02:01:05
http://reply.papertrans.cn/28/2703/270227/270227_49.png
织物
发表于 2025-3-30 04:58:14
http://reply.papertrans.cn/28/2703/270227/270227_50.png