Sipser 6.1-6.2

Read Sipser §6.1 and §6.2

  1. Give an overview of how SELF is constructed.
  2. Section 6.1 gives us a new strategy for proving languages are undecidable. Outline the strategy.
css.php
The views and opinions expressed on individual web pages are strictly those of their authors and are not official statements of Grinnell College. Copyright Statement.