tympanometry 发表于 2025-3-25 04:09:14

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

BOON 发表于 2025-3-25 11:21:19

Square on Deterministic, Alternating, and Boolean Finite Automatauch that ., we describe a binary language accepted by an .-state DFA with . final states meeting the upper bound . on the state complexity of its square. 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

negotiable 发表于 2025-3-25 13:18:42

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

transient-pain 发表于 2025-3-25 19:20:07

https://doi.org/10.1007/978-3-031-52026-6etail in which a random input word has to be read in order to decide its membership in the language. We study the sensing cost of regular and .-regular languages, as well as applications of the study in practice, especially in the monitoring and synthesis of reactive systems.

愚笨 发表于 2025-3-25 20:42:47

Epiphany and/or Politics? Nietzscheee 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.

depreciate 发表于 2025-3-26 03:36:50

https://doi.org/10.1007/978-1-349-00172-9re. 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.

光滑 发表于 2025-3-26 08:07:25

Descriptional Complexity and Operations – Two Non-classical Casessal, union, catenation, and star and the measures number of nonterminals, productions, and symbols (defined for context-free languages)..Moreover, we discuss the change of these sets if one restricts to finite languages, unary languages, and finite unary languages.

夹死提手势 发表于 2025-3-26 11:29:17

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

MAIZE 发表于 2025-3-26 13:29:28

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

opalescence 发表于 2025-3-26 19:10:49

http://reply.papertrans.cn/27/2683/268286/268286_30.png
页: 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