五行打油诗 发表于 2025-3-25 05:30:47

Michael Flecker,Teddy Y. H. Simcerns the structure of the minimum automaton accepting the language under consideration. It is also observed that there exist reduced reversible automata which are not minimal, in the sense that all the automata obtained by merging some of their equivalent states are irreversible. Furthermore, it is

Induction 发表于 2025-3-25 08:24:36

http://reply.papertrans.cn/27/2683/268296/268296_22.png

neuron 发表于 2025-3-25 12:45:51

Hwee Hwang Sim,Shiang Swee Grace Liowwer bounds for the size of the minimal deterministic finite automaton (DFA) needed for the radius . prefix distance neighbourhood of an . state DFA that recognizes, respectively, a finite, a prefix-closed and a prefix-free language. For prefix-closed languages the lower bound automata are defined ov

Inexorable 发表于 2025-3-25 18:16:29

Małgorzata Oleszkiewicz-PeralbaZemek in 2012 [.]. Second, we close a study started by Černo and Mráz in 2010 [.] by proving that a clearing restarting automaton using contexts of length two can accept a binary non-context-free language.

endoscopy 发表于 2025-3-25 22:28:46

http://reply.papertrans.cn/27/2683/268296/268296_25.png

miracle 发表于 2025-3-26 01:45:14

Unary Self-verifying Symmetric Difference Automata,We show that there is a family of languages . which can always be represented non-trivially by unary SV-XNFA. We also consider the descriptional complexity of unary SV-XNFA, giving an upper and lower bound for state complexity.

Immobilize 发表于 2025-3-26 07:40:27

http://reply.papertrans.cn/27/2683/268296/268296_27.png

EXALT 发表于 2025-3-26 10:32:03

Cezar Câmpeanu,Florin Manea,Jeffrey ShallitIncludes supplementary material:

因无茶而冷淡 发表于 2025-3-26 16:14:38

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

发表于 2025-3-26 20:24:00

https://doi.org/10.1007/978-3-319-41114-9automata theory; context free languages; formal languages; regular languages; turing machines; automata e
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Descriptional Complexity of Formal Systems; 18th IFIP WG 1.2 Int Cezar Câmpeanu,Florin Manea,Jeffrey Shallit Conference proceedings 2016 IF