Titlebook: Adventures Between Lower Bounds and Higher Altitudes; Essays Dedicated to Hans-Joachim Böckenhauer,Dennis Komm,Walter Unger Book 2018 Spri

侵略主义

Adventures Between Lower Bounds and Higher Altitudes978-3-319-98355-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

Figate

corpuscle

https://doi.org/10.1007/BFb0041009romes, that cannot be recognized by . regardless of the size of advice. Also, we show that a . cannot utilize more than exponential advice. We initiate the study of . with advice: we show that, unlike the ., . can recognize all languages with advice of exponential size. On the other side of the spec

Nonthreatening

Frequency domain exact model matching,istic finite automaton accepting this language. We show that, in spite of the fact that the difference between the size of the largest fooling set and the nondeterministic state complexity may be arbitrarily large, the fooling set lower bound methods work in many cases. We modify the method in the c

清醒

Time domain exact model matching,same as for .. In this note we continue the analysis of .-Abelian equivalence classes. In particular, we show that, for any fixed integer ., the language of words representing equivalence classes of cardinality . is regular.

中子

FLIP

https://doi.org/10.1007/BFb0041009tion, especially its usefulness, i.e., its ability to simplify a solution of a problem. We formalize the problem via decompositions of automata and present new results in the nondeterministic finite automata setting. We characterise some subfamilies of regular languages that are nondeterministically

Champion

Diatribe

Synchronism

Clinical Application: Multiple Sclerosis, the . triangle inequality (i.e., for some . ., we have that .), and given a vertex . whose removal from . (resp., addition to .), along with all its incident edges, produces a new weighted graph still obeying the strengthened triangle inequality, find a minimum-cost Hamiltonian cycle of the modifie