CSE 34151 Theory of Computing: Links

Home

Overview
Administration
Calendar
Lecture Notes
Assignments
Links
Change Log
Projects

CSE34151 Theory of Computing: Links to Other Material

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
Finite Automata
- Regular Expressions
- 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
Push Down Automata
- Context Free Languages
  - Closure Properties of Context Free Languages
  - Sample CF Grammars
- PDA Simulators
  - JAVA App
  - JFAST
Turing Machines
- Turing Machine Simulators
  - Online Simulator
- A neat poem to prove the halting problem
- Universal Turing Machines
- Non-TM Turing Equivalent
Other Models of Computing
- 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
- Combinators
  - A chapter from Arch. of Symbolic Computers
- Cellular Automata
  - Wikipedia Overview
  - Conway's Game of Life (2D Finite Automata)
- Lambda Calculus
Micron Automata processor
- Support Portal
- Paper
- A brief video
- AP Workbench Tutorial - go down past Software to find it
- A presentation
- Documentation
SAT Solving
Python references
- Python Source code for various platforms (I loaded 3.6.4 for 64b
- Free Python online book
- Some basic Python and Pygame intro
- Tutorial on Pygame