wiki

• To edit this page, click the "edit" tab above.
• To create a new page, make a link to it like this : a new page.

pages

• software resources
• Joshs test page
• finite state automata
• graphviz example
• Matt test page
• List of errata from Sipser
• Jim's Code examples
• unrestricted confusion
• A proof (??) that uncountably many languages are Turing-recognizable
• Some course notes from a course given at the University of Pennsylvania
• Regular Expressions to CFG rules
• logic notes
• np complete links
• Chaitin omega
• mine sweeper as NP
• eliza meets zippy
• Final Exam

class notes

• jan 24
• jan 26
• feb 8
• feb 14

math test

• 
• α + β = γ
• α₁ + β₂

links