Welcome to RACSO! We will use this webpage to complement the theory and problems seen in class. In particular, in this course we will use the part on DFA, CFG, Operations (reg), PDA and reductions (K and WP). For everything else related to the Theory of Computation course please refer to the course main page.