New category: Theoretical OCmputer Science
(Put stuff about automata,formal languages,computability..etc into it)