Book Volume 9288 2015

Machines, Computations, and Universality

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

Editors:

ISBN: 978-3-319-23110-5 (Print) 978-3-319-23111-2 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages I-XX

  2. Invited Papers

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-16

      Decidability Problems for Self-induced Systems Generated by a Substitution

    3. No Access

      Chapter

      Pages 17-27

      Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics

  3. Regular Papers

    1. Front Matter

      Pages 29-29

    2. No Access

      Chapter

      Pages 31-44

      A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems

    3. No Access

      Chapter

      Pages 45-60

      Tight Bounds for Cut-Operations on Deterministic Finite Automata

    4. No Access

      Chapter

      Pages 61-78

      Non-isometric Contextual Array Grammars with Regular Control and Local Selectors

    5. No Access

      Chapter

      Pages 79-93

      Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States

    6. No Access

      Chapter

      Pages 94-112

      Tinput-Driven Pushdown Automata

    7. No Access

      Chapter

      Pages 113-128

      Reversible Limited Automata

    8. No Access

      Chapter

      Pages 129-148

      An Intrinsically Universal Family of Causal Graph Dynamics

    9. No Access

      Chapter

      Pages 149-163

      The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems

    10. No Access

      Chapter

      Pages 164-179

      A Characterization of NP Within Interval-Valued Computing

    11. No Access

      Chapter

      Pages 180-197

      Universality in Infinite Petri Nets

  4. Back Matter

    Pages 199-199