言外之意 发表于 2025-3-25 03:55:09

http://reply.papertrans.cn/59/5812/581162/581162_21.png

delta-waves 发表于 2025-3-25 08:46:20

http://reply.papertrans.cn/59/5812/581162/581162_22.png

稀释前 发表于 2025-3-25 14:14:40

Descriptional Complexity of Input-Driven Pushdown Automata,f the nondeterministic automaton both for the number of states and the number of stack symbols. The paper also surveys the recent results on operational state complexity of IDPDAs, and on the cost of converting a nondeterministic automaton to an unambiguous one, and an unambiguous automaton to a deterministic one.

硬化 发表于 2025-3-25 16:47:21

Hairpin Lengthening and Shortening of Regular Languages,airpin lengthening of a regular language is always regular. As far as the hairpin shortening operation is concerned, the class of regular languages is closed under bounded and unbounded iterated hairpin shortening.

iodides 发表于 2025-3-25 23:18:07

http://reply.papertrans.cn/59/5812/581162/581162_25.png

Celiac-Plexus 发表于 2025-3-26 03:10:20

http://reply.papertrans.cn/59/5812/581162/581162_26.png

notification 发表于 2025-3-26 07:08:30

http://reply.papertrans.cn/59/5812/581162/581162_27.png

迷住 发表于 2025-3-26 11:59:16

Peptide Computers,at this model leads to a well-defined computational behaviour. We review existing results concerning the power and limitations of peptide computers and the types of non-determinism arising in such computers on the basis of this formal model.

Pathogen 发表于 2025-3-26 12:56:27

On the Power of Randomness versus Advice in Online Computation,its of advice about the still unknown parts of the input an oracle has to provide for an online algorithm to guarantee a specific competitive ratio. Until now, only deterministic online algorithms with advice were considered in the literature. In this paper, we consider, for the first time, online a

groggy 发表于 2025-3-26 18:25:45

http://reply.papertrans.cn/59/5812/581162/581162_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Languages Alive; Essays dedicated to Henning Bordihn,Martin Kutrib,Bianca Truthe Book 2012 Springer-Verlag Berlin Heidelberg 2012 algorith