insurgent 发表于 2025-3-30 09:53:25

http://reply.papertrans.cn/59/5880/587977/587977_51.png

有助于 发表于 2025-3-30 13:56:07

http://reply.papertrans.cn/59/5880/587977/587977_52.png

Axon895 发表于 2025-3-30 17:38:41

http://reply.papertrans.cn/59/5880/587977/587977_53.png

终点 发表于 2025-3-31 00:14:37

http://reply.papertrans.cn/59/5880/587977/587977_54.png

注入 发表于 2025-3-31 04:06:48

http://reply.papertrans.cn/59/5880/587977/587977_55.png

独白 发表于 2025-3-31 08:17:14

Modular decomposition of automata,only local conflicts within the component machines while the network structure is a modular one and thus conflict-free. As a main aspect the paper asks for optimal realisations of sequential automata by NN and APA nets, respectively.

自传 发表于 2025-3-31 11:41:35

Equivalence relations, invariants, and normal forms, II, with enough new ones to show that all the questions considered have negative answers relative to some oracles. In other words, these questions cannot be answered affirmatively by means of relativizable polynomial-time Turing reductions. Finally, we show that the analogous questions with "." replaced by "Borel" have negative answers.

使迷惑 发表于 2025-3-31 16:29:19

http://reply.papertrans.cn/59/5880/587977/587977_58.png

Counteract 发表于 2025-3-31 17:41:22

http://reply.papertrans.cn/59/5880/587977/587977_59.png

ALLEY 发表于 2025-4-1 01:01:06

http://reply.papertrans.cn/59/5880/587977/587977_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Logic and Machines: Decision Problems and Complexity; Proceedings of the S E. Börger,G. Hasenjaeger,D. Rödding Conference proceedings 1984