带来的感觉 发表于 2025-3-26 21:40:32

http://reply.papertrans.cn/27/2683/268286/268286_31.png

judiciousness 发表于 2025-3-27 02:06:14

0302-9743 putational models, such as turing machines, finite automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity..978-3-319-60251-6978-3-319-60252-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

discord 发表于 2025-3-27 06:08:32

http://reply.papertrans.cn/27/2683/268286/268286_33.png

胆小鬼 发表于 2025-3-27 13:13:38

Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languagesee language. In each case when an algebra can be generated by such a language, we show that this language may be taken to be regular, and we compute upper bounds on the state complexities of all the generated languages. Finally, we find generators that maximize these complexities.

Outshine 发表于 2025-3-27 15:35:16

Square on Deterministic, Alternating, and Boolean Finite Automatare. We show that in the case of ., the corresponding upper bound cannot be met. Using the DFA witness for square with . states where half of them are final, we get the tight upper bounds on the complexity of the square operation on alternating and Boolean automata.

Grievance 发表于 2025-3-27 21:42:36

Conference proceedings 2017Complexity is a field in Computer Science that deals with the size of all kinds of objects that occur in computational models, such as turing machines, finite automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity..

esoteric 发表于 2025-3-27 23:04:12

http://reply.papertrans.cn/27/2683/268286/268286_37.png

贫穷地活 发表于 2025-3-28 04:11:08

After ,: Female Adultery in Zolat deterministic tree adjoining grammars (those with degree of nondeterminism equal to 1), can generate non-context-free languages, in contrast to deterministic head grammars which can only generate languages containing a single word.

偏离 发表于 2025-3-28 09:31:53

Theorizing the Novel of Wifely Adulterymates with an indirect use of the existence of Puiseux expansions at singularities. We study, asymptotically and on average, the alphabetic size, the size of the .-follow automaton and the ratio of these expressions to standard regular expressions.

Corral 发表于 2025-3-28 12:37:44

,Olive Schreiner’s Organic Art, of a simple . operation and show that the decision problem whether a given tree (along with the rank info of its nodes) is a Union-Find tree is .-complete, complementing our earlier similar result for the union-by-size strategy.
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Descriptional Complexity of Formal Systems; 19th IFIP WG 1.02 In Giovanni Pighizzini,Cezar Câmpeanu Conference proceedings 2017 IFIP Intern