Description |
1 online resource (x, 290 pages) : illustrations, color portrait |
Series |
Lecture notes in computer science, 1611-3349 ; 7300. Festschrift |
|
Festschrift |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7300. 1611-3349
|
|
Lecture notes in computer science. Festschrift.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Peptide Computers / M. Sakthi Balan and Helmut Jürgensen -- On the Power of Randomness versus Advice in Online Computation / Hans-Joachim Böckenhauer, Juraj Hromkovič, Dennis Komm, Richard Královič and Peter Rossmanith -- Relevance of Entities in Reaction Systems / Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny and Grzegorz Rozenberg -- Generalized Random Context Picture Grammars: The State of the Art / Sigrid Ewert and Max Rabkin -- Cooperating Distributed Tree Automata / Henning Fernau -- A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems / Markus Holzer -- Equations in the Partial Semigroup of Words with Overlapping Products / Mari Huova and Juhani Karhumäki -- On CD-Systems of Stateless Deterministic Two-Phase RR(1)-Automata / Martin Kutrib and Friedrich Otto -- The Boolean Formula Value Problem as Formal Language / Klaus-Jörn Lange -- Hairpin Lengthening and Shortening of Regular Languages / Florin Manea, Robert Mercas and Victor Mitrana -- One-Sided Random Context Grammars with Leftmost Derivations / Alexander Meduna and Petr Zemek -- Earley's Parsing Algorithm and k-Petri Net Controlled Grammars / Taishin Y. Nishida -- Descriptional Complexity of Input-Driven Pushdown Automata / Alexander Okhotin, Xiaoxue Piao and Kai Salomaa -- Towards "Fypercomputations" (in Membrane Computing) / Gheorghe Păun -- Undecidability of State Complexities Using Mirror Images / Arto Salomaa -- Asymptotic Subword Complexity / Ludwig Staiger -- On Grammars Controlled by Parikh Vectors / Ralf Stiebe -- On the Nonterminal Complexity of Tree Controlled Grammars / György Vaszil -- One-Way Finite Automata with Quantum and Classical States / Shenggen Zheng, Daowen Qiu, Lvzhou Li and Jozef Gruska |
Summary |
This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional complexity, as well as 'classical' topics of automata and language theory, the articles presented span the range of the scientific work of Jürgen Dassow |
Analysis |
Computer science |
|
Information theory |
|
Computational complexity |
|
Electronic data processing |
|
Theory of Computation |
|
Computation by Abstract Devices |
|
Mathematical Logic and Formal Languages |
|
Discrete Mathematics in Computer Science |
|
Symbolic and Algebraic Manipulation |
|
Computing Methodologies |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
|
Online resource; title from PDF title page (SpringerLink, viewed Aug. 27, 2012) |
In |
Springer eBooks |
Subject |
Formal languages.
|
|
Formal methods (Computer science)
|
|
Informatique.
|
|
Formal languages
|
|
Formal methods (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Festschriften
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Festschriften.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Bordihn, Henning
|
|
Kutrib, Martin.
|
|
Truthe, Bianca
|
ISBN |
9783642316449 |
|
3642316441 |
|