Play as Webslides

Danny Thorne's List: Theory Of Computation

Turing machine simulator (Ruby) - LiteratePrograms

en.literateprograms.org/uring_machine_simulator_(Ruby) - Preview

automatatheory theoryofcomputation turingmachine on 2008-03-11
- We describe a simple Ruby program for simulating an abstract Turing machine. This demonstrates that Ruby is Turing-complete (with the caveat that limitations in word size limit the effective addressable memory).
AlanTuring.net

www.cs.usfca.edu/...index.html - Preview

automatatheory history theoryofcomputation turingmachine on 2008-03-11 and saved by 2 people
Turing machine simulator

www.cs.binghamton.edu/...tmdoc.html - Preview

automatatheory theoryofcomputation turingmachine on 2008-03-11
- This is a simulator for deterministic Turing machines, following
  the style in J. E. Hopcroft and J. D. Ullman, Introduction to Automata
  Theory, Languages, and Computation, Addison-Wesley, 1979. A simulator for
  non-deterministic Turing machines is being planned and will appear
  after the next project, which is a simulator for a non-deterministic push-down
  automaton.
  
  Please note that there is also a finite-state
  machine simulator available
Introducing Logic via Turing Machines

www.math.nmsu.edu/...j13.html - Preview

automatatheory computerscience curriculum theoryofcomputation turingmachine on 2008-03-11
- the fourth (pdf file)
  (ps file)
  describes Turing's negative solution to the decision
  problem in what has become known as the halting problem in computer
  science.
- The third in
  this sequence (pdf file)
  (ps file)
  outlines the development Turing's idea of a universal
  computing machine (today known as a compiler or an interpreter)
- 3 more annotations...
- - The second project, ``Turing Machines, Induction and Recursion''
    (pdf file)
    (ps file),
    explores the machine's capacity for a limited type of memory, and its use
    in elementary arithmetic operations.
  - The first project acquaints students with the workings of a Turing
    machine, asks the reader to compute the output of a particular
    machine, and then to design a machine with a given output.
  - This article
    presents curricular materials, based on original historical sources,
    designed for use in an introductory discrete mathematics course,
    particularly one with a significant number of computer science
    majors. The materials are organized into two-week written projects
    for students, and offer excerpts from Alan Turing's (1912--1954)
    original 1936 paper
    ``On Computable Numbers with an Application to the
    Entscheidungsproblem''(Das Entscheidungsproblem is German
    for the decision problem) [T],
    a paper which outlines a logical
    device (a ``Turing Machine''), that is the forerunner of a modern
    computer program.
Manchester Illuminated Universal Turing Machine

www.verostko.com/...manchester.html - Preview

automatatheory theoryofcomputation turingmachine on 2008-03-11
- What is a Universal Turing Machine? The gating
  logic for circuit boards in all general computers
  descends from a logical procedure known as a Universal
  Turing Machine (UTM). The logic for this
  algorithm by Alan Turing (1912-54) was written in 1936
  and published in 1937 in the Proceedings of the London
  Mathematical Society. This paper, “On computable
  numbers, with an application to the
  Entscheidungsproblem", planted the seminal idea for all general computers.
Software Projects

www4.wittenberg.edu/...software.shtml - Preview

automatatheory theoryofcomputation turingmachine on 2008-03-11
- A
  Push Down Automata Simulator
- Turing
  Machine Simulator
Christos Papadimitriou's home page

www.cs.berkeley.edu/%7Echristos - Preview

computerscience automatatheory papadimitriou on 2008-08-24

1 - 7 of 7

Showing 20▼ items per page

List Comments (0)

List Info

Danny Thorne

7 items | 37 visits

Theory of computation, computability, complexity, etc...

Updated on 2008-08-24
Created on 2008-03-11

Category: Computers & Internet

automatatheory theoryofcomputation turingmachine

URL:

Danny Thorne's List: Theory Of Computation

Turing machine simulator (Ruby) - LiteratePrograms

AlanTuring.net

Turing machine simulator

Introducing Logic via Turing Machines

Manchester Illuminated Universal Turing Machine

Software Projects

Christos Papadimitriou's home page

List Info

Sponsored Links

Danny Thorne's Public Lists (3)