====== Úvod do teoretické informatiky ======

===== Příklady a ukázky =====
  * http://www.legoturingmachine.org/ - kolegové z Amsterdamu vyrobili ukázku fyzického Turingova stroje
  * http://www.google.com/doodles/alan-turings-100th-birthday - Google Doodle ke 100 výročí narození Alana Turinga
  * http://nikic.github.io/2012/06/15/The-true-power-of-regular-expressions.html - rozdíl mezi regulárními výrazy z UTI (skutečně regulární) a těmi z programovacích jazyků (někdy NP-úplné)

===== Různé zdroje =====

  * http://www.cs.vsb.cz/sawa/
  * http://www.cs.vsb.cz/kot/