B401 Slides

B401 Home

Slides

Text

Exams

• Course Introduction

• Data and Languages
  • Languages
  • Sets and mappings
  • Generated data
• Machines
  • Automata, regular languages (updated Oct 2)
  • Traces and machines (to be continued)
• Symbolic computing
  • Cotext free languages
• Scope of computing
  • Undecidability and SD
• Feasibility