Theory for computation and formal languages, 7.5 credits