Next:
Properties of context-free languages
Up:
Babbage Session Two: Minutes/Synopsis
Previous:
Presentation three
Ben's presentation
Properties of context-free languages
halting digression
Turing Machines
Black Box digression
TM's continued
instantaneous description of Turing machine
Two-way infinite tape
Multiple tape TM
Multidimensional TMs, Non-deterministic TMs,
etc.
Church Turing hypothesis
Question about functions and computability (Yael)
root
6/8/1998