Titlebook: Logic and Machines: Decision Problems and Complexity; Proceedings of the S E. B?rger,G. Hasenjaeger,D. R?dding Conference proceedings 1984

insurgent

有助于

Axon895

終點(diǎn)

注入

獨(dú)白

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.

自傳

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.

使迷惑

Counteract

ALLEY