Welcome to the RACSO Online Judge

This website has a collection of exercises for the subject «Theory of Computation», that is: exercises asking to define recognizers / generators of formal languages (regular or context-free), as well as exercises asking for reductions between problems (undecidable or NP-complete).

All the exercises are automatically judged: after submitting a solution proposal, the system returns in a few seconds an acceptance / rejection verdict. To help the students, rejection verdicts also include counterexamples.