MCU: International Conference on Machines, Computations, and Universality

Machines, Computations, and Universality

7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

  • Jerome Durand-Lose
  • Benedek Nagy
Conference proceedings MCU 2015

DOI: 10.1007/978-3-319-23111-2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9288)

Table of contents (12 papers)

  1. Front Matter
    Pages I-XX
  2. Invited Papers

  3. Regular Papers

    1. Front Matter
      Pages 29-29
    2. A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems
      Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil
      Pages 31-44
    3. Tight Bounds for Cut-Operations on Deterministic Finite Automata
      Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe
      Pages 45-60
    4. Non-isometric Contextual Array Grammars with Regular Control and Local Selectors
      Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian
      Pages 61-78
    5. Tinput-Driven Pushdown Automata
      Martin Kutrib, Andreas Malcher, Matthias Wendlandt
      Pages 94-112
    6. Reversible Limited Automata
      Martin Kutrib, Matthias Wendlandt
      Pages 113-128
    7. An Intrinsically Universal Family of Causal Graph Dynamics
      Simon Martiel, Bruno Martin
      Pages 129-148
    8. The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems
      Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers
      Pages 149-163
    9. A Characterization of NP Within Interval-Valued Computing
      Benedek Nagy, Sándor Vályi
      Pages 164-179
    10. Universality in Infinite Petri Nets
      Dmitry A. Zaitsev
      Pages 180-197
  4. Back Matter
    Pages 199-199

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015.

The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).

Keywords

Complexity classes Computability Formal languages and automata theory Models of computation Theory of computation Cellular automata Quantum computing Turing machines Unconventional computing Automata BSS machines Deterministic computing Infinite petri net Membrane computing Neural networks Real machines Register machines Sequentiality Simulation Universal petri net

Editors and affiliations

  • Jerome Durand-Lose
    • 1
  • Benedek Nagy
    • 2
  1. 1.Université d'OrléansOrléansFrance
  2. 2.Eastern Mediterranean UniversityFamagustaCyprus

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-23110-5
  • Online ISBN 978-3-319-23111-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349