Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28{u2013}30, 2018, Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018. The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous 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, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.). Front Matter ....Pages I-XVII Control Mechanisms for Array Grammars on Cayley Grids (Rudolf Freund)....Pages 1-33 A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality (Michel Raynal, Jiannong Cao)....Pages 34-50 Sequential Grammars with Activation and Blocking of Rules (Artiom Alhazov, Rudolf Freund, Sergiu Ivanov)....Pages 51-68 The Language (and Series) of Hammersley-Type Processes (Cosmin Bonchiş, Gabriel Istrate, Vlad Rochian)....Pages 69-87 Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case (Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele, Indhumathi Raman)....Pages 88-104 Minimal Useful Size of Counters for (Real-Time) Multicounter Automata (Viliam Geffert, Zuzana Bednárová)....Pages 105-120 A Framework for (De)composing with Boolean Automata Networks (Kévin Perrot, Pacôme Perrotin, Sylvain Sené)....Pages 121-136 An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines (Benedek Nagy, Sándor Vályi)....Pages 137-152 Physical Computation and First-Order Logic (Richard Whyman)....Pages 153-169 Back Matter ....Pages 171-171