Ordinal Computability: An Introduction to Infinitary Machines

ISBN-13: 9783110495621 / Angielski / Twarda / 2019 / 343 str.

Merlin Carl

Opis

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.

O autorze

Merlin Carl, University of Konstanz, Germany.