Proceedings Machines, Computations and Universality 2013

  title={Proceedings Machines, Computations and Universality 2013},
  author={Turlough Neary and Matthew Cook},
This volume contains the papers presented at the 6th conference on Machines, Computations and Universality (MCU 2013). MCU 2013 was held in Zurich, Switzerland, September 9-11, 2013. The MCU series began in Paris in 1995 and has since been concerned with gaining a deeper understanding of computation through the study of models of general purpose computation. This volume continues in this tradition and includes new simple universal models of computation, and other results that clarify the… 
3 Citations

Control Mechanisms for Array Grammars on Cayley Grids

Using \(\#\)-context-free array productions together with control mechanisms as control graphs, matrices, permitting and forbidden rules, partial order on rules or activation and blocking of rules the same computational power is obtained as when using arbitrary array productions.

A General Framework for Sequential Grammars with Control Mechanisms

Many relations between the languages generated by sequential grammars working on these objects with different control mechanisms were shown to be similar to the relations already proved for the string case.

Small Universal Petri Nets with Inhibitor Arcs

We investigate the problem of construction of small-size universal Petri nets with inhibitor arcs. We consider four descriptional complexity parameters: the number of places, transitions, inhibitor