Overview
Administration
Calendar
Lecture Notes
Assignments
Links
Change Log
Projects

• Book related material
  • ERRATA Version 3
  • A Tikz tutorial for drawing state diagrams. Thanks to TA Satyaki Sikdar
  • An on-line point and click State Diagram drawing program
• Regular Expressions
  • Regular-Expressions.info
  • Wikipedia Description
  • Linux grep representation
  • Closure Properties of Regular Expressions
  • In Javascript
    • Mozilla Guide
    • W3Schools Guide
• Pumping Theorem
  • Notes from Univ. of New York at Stonybrook
• Finite Automata simulators
  • Web-based DFA, NFA, PDA simulator that appears to build state graph from examples.
  • DFA web based simulator
    • Max of 10 states, input set of {0,1}
    • Max of 26 states, input set of {0,1,2,3}
  • A variety of web-based finite automata tools, including:
    • Generate a regex from strings
    • Simplify regular expressions
    • Convert FSM to regexs and back
    • Display regexs as "railroad diagrams"
    • Analyze and display context free languages
    • Regex debugger
• Micron Automata processor
  • Support Portal
  • Paper
  • A brief video
  • AP Workbench Tutorial - go down past Software to find it
  • A presentation
  • Documentation
• Context Free Languages
  • Closure Properties of Context Free Languages
  • Sample CF Grammars
• PDA Simulators
  • JAVA App
  • JFAST
• Turing Machine Simulators
  • Online Simulator
• Turing Machines
  • Universal Turing Machines
  • A neat poem to prove the halting problem
    • A Business Card Universal Turing Machine
    • The World's smallest UTM
    • Four small Universal Turing Machines
• Quantum Computing
  • An Introduction to Quantum Computing for Non-Physicists by Eleanor Rieffel and Wolfgang Polak
  • Overview from Rice Univ.
  • IBM Overview
  • Lecture Notes by Ronald de Wolf
• TM Related
• Non-TM Tuting Equivalent
  • < href="https://en.wikipedia.org/wiki/Lambda_calculus"> Lambda Calculus
  • < href="https://en.wikipedia.org/wiki/Unrestricted_grammar">Unrestricted Grammars
  • < href="https://en.wikipedia.org/wiki/%CE%9C-recursive_function">Partially Recursive Grammars
  • Weird Turing Complete
• SAT Solving
  • Overview Presentation
  • Presentation on Graph-Based 2SAT algorithm
  • Linear 2SAT algorithm
  • Sudoku to SAT
• Combinators
  • A chapter from Arch. of Symbolic Computers