<--- Back to Details
First PageDocument Content
Computability theory / Computer science / Models of computation / Alan Turing / Tag system / Halting problem / Computational complexity theory / Description number / Non-deterministic Turing machine / Turing machine / Theoretical computer science / Theory of computation
Date: 2012-11-13 10:48:00
Computability theory
Computer science
Models of computation
Alan Turing
Tag system
Halting problem
Computational complexity theory
Description number
Non-deterministic Turing machine
Turing machine
Theoretical computer science
Theory of computation

Fundamenta Informaticae[removed]–[removed]

Add to Reading List

Source URL: www.ini.uzh.ch

Download Document from Source Website

File Size: 175,69 KB

Share Document on Facebook

Similar Documents

On the complexity of some computational problems in the Turing model Claus Diem November 18, 2013 Abstract Algorithms for concrete problems are usually described and analyzed in some random access machine model. This is

DocID: 1vf5u - View Document

The Quadratic Assignment Problem in Code Optimization for a Simple Universal Turing Machine

DocID: 1uZDW - View Document

A clarification on Turing’s test and its implications for machine intelligence Phil Maguire () Philippe Moser () Department of Computer Science National University of Ireland, Maynoo

DocID: 1usTH - View Document

Extractors for Turing-machine sources Random 2012 Emanuele Viola Northeastern University

DocID: 1ukKA - View Document

1 Introduction The goal of getting computers to automatically solve problems is central to artificial intelligence, machine learning, and the broad area encompassed by what Turing called “machine intelligence” (Turin

DocID: 1uc6n - View Document