Similar Tracks
Theoretical Computer Science - Lecture 15 - μ-rec. fun. by TMs (2), simulation of k-tapes by 1-tape.
George Nadareishvili
Seminar on Analysis, Differential Equations and Mathematical Physics - Anton Baranov
Operator Theory & Harmonic Analysis
Theoretical Computer Science - Lecture 16 - Simulation of TMs by μ-recursive functions.
George Nadareishvili