Skip to main content
SpringerLink
Log in
Book cover

Machines, Computations, and Universality

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Jerome Durand-Lose

    1. Université d'Orléans, Orléans, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benedek Nagy

    1. Eastern Mediterranean University, Famagusta, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: MCU 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  3. Regular Papers

    1. Front Matter

      Pages 29-29
      Download chapter PDF

    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. Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States

      • Sergiu Ivanov, Sergey Verlan
      Pages 79-93

    6. Tinput-Driven Pushdown Automata

      • Martin Kutrib, Andreas Malcher, Matthias Wendlandt
      Pages 94-112

    7. Reversible Limited Automata

      • Martin Kutrib, Matthias Wendlandt
      Pages 113-128

    8. An Intrinsically Universal Family of Causal Graph Dynamics

      • Simon Martiel, Bruno Martin
      Pages 129-148

    9. The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems

      • Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers
      Pages 149-163

    10. A Characterization of NP Within Interval-Valued Computing

      • Benedek Nagy, Sándor Vályi
      Pages 164-179

    11. Universality in Infinite Petri Nets

      • Dmitry A. Zaitsev
      Pages 180-197

  4. Back Matter

    Pages 199-199
    Download chapter PDF
Back to top

Other volumes

  1. Machines, Computations, and Universality

Keywords

About this book

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.).

Editors and Affiliations

  • Université d'Orléans, Orléans, France

    Jerome Durand-Lose

  • Eastern Mediterranean University, Famagusta, Cyprus

    Benedek Nagy

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation