Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (Lecture Notes in Computer Science (3113))

This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. The 24 invited papers by leading researchers in the area address a broad variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work. Front Matter....Pages - Duality for Three: Ternary Symmetry in Process Spaces....Pages 1-14 Mathematical Proofs at a Crossroad?....Pages 15-28 Rational Relations as Rational Series....Pages 29-34 Networks of Standard Watson-Crick D 0 L Systems with Incomplete Information Communication....Pages 35-48 On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems....Pages 49-59 Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages....Pages 60-67 A Semiring-Semimodule Generalization of ω -Context-Free Languages....Pages 68-80 Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials....Pages 81-88 Two Models for Gene Assembly in Ciliates....Pages 89-101 On Self-Dual Bases of the Extensions of the Binary Field....Pages 102-111 On NFA Reductions....Pages 112-124 Some Results on Directable Automata....Pages 125-133 Rectangles and Squares Recognized by Two-Dimensional Automata....Pages 134-144 Substitution on Trajectories....Pages 145-158 Recombination Systems....Pages 159-169 Algebraic Aspects of Parikh Matrices....Pages 170-180 On Distributed Computing on Elliptic Curves....Pages 181-191 On the Formal Modelling of Trust in Reputation-Based Systems....Pages 192-204 Issues with Applying Cryptography in Wireless Systems....Pages 205-215 On a Tomographic Equivalence Between (0,1)-Matrices....Pages 216-234 P Systems with Tables of Rules....Pages 235-249 Some Properties of Multistage Interconnection Networks....Pages 250-258 Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof....Pages 259-267 Complexity of Evolving Interactive Systems....Pages 268-281 Back Matter....Pages - This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. The 24 reviewed invited papers by leading researchers in the area address a broad variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work