Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.

Format:

Book

Contributor:

Durand-Lose, Jérôme, editor.

Verlan, Sergey, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 10881.

Theoretical Computer Science and General Issues ; 10881

Language:

English

Subjects (All):

Algorithms.

Computer architecture.

Logic, Symbolic and mathematical.

Computer logic.

Computers, Special purpose.

Algorithm Analysis and Problem Complexity.

Computer System Implementation.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Special Purpose and Application-Based Systems.

Local Subjects:

Algorithm Analysis and Problem Complexity.

Computer System Implementation.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Special Purpose and Application-Based Systems.

Physical Description:

1 online resource (XVII, 171 pages) : 27 illustrations.

Edition:

First edition 2018.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2018.

System Details:

text file PDF

Summary:

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, et cetera) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, et cetera).

Contents:

Control Mechanisms for Array Grammars on Cayley Grids

A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality

Sequential Grammars with Activation and Blocking of Rules

The Language (and Series) of Hammersley-type Processes

Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case

Minimal Useful Size of Counters for (Real-Time) Multicounter Automata

A Framework for (De)composing with Boolean Automata Networks

An Extension of Interval-valued Computing Equivalent to Red-green Turing Machines

Physical Computation and First-Order Logic. .

Other Format:

Printed edition:

ISBN:

978-3-319-92402-1

9783319924021

Access Restriction:

Restricted for use by site license.