log in
Formal
Languages
and the
Theory of
Computation
Fall 2013
course
home
notes
syllabus
resources
assignments
|
next
navigation
help
.. /
. /
resources
online
wikipedia:
http://en.wikipedia.org/wiki/Template:Formal_languages_and_grammars
wikipedia: Formal_language
wikipedia: Computational_complexity_theory
wikipedia: Automata_theory
wikipedia: List_of_computability_and_complexity_topics
the Complexity Zoo
& its "petting zoo"
Damien Woods
Small Fast Turing Machines
: explicit UTM's including \(U_{3,11}\) (3 state, 11 symbol, polynomial time)
The complexity of small universal Turing machines: a survey
Turing Drawings
software
SageMath
: python-based symbolic numeric graph math
http://writelatex.com
: online LaTeX
misc
software tools
- editors, compilers, statistics, etc
Copyright and Plagiarism
creative commons
These wiki pages allow math formulas like \( \left( \sum\limits_{i=1}^\infty \frac{1}{i} \right) \) in
LaTex
via
MathJax
.
http://cs.marlboro.edu/
courses/
fall2013/formal_languages/
resources
last modified Friday November 8 2013 2:38 am EST