Università Roma Tre

INTRODUCE THE STUDENTS TO THE THEORY OF LANGUAGES AND, AT THE SAME TIME, TO THE THEORY OF AUTOMATA. INTRODUCE COMPUTABILITY AND COMPLEXITY PARADIGMS. AT THE END OF THE COURSE STUDENTS SHOULD KNOW NEW FORMAL METHODOLOGIES, SHOULD BE ABLE TO CRITICALLY REVIEW, FROM THE PERSPECTIVE OF THEIR EXPRESSIVE POTENTIAL, ALREADY KNOWN METHODOLOGIES AND SHOULD BE ABLE TO CLASSIFY PROBLEMS FROM THE POINT OF VIEW OF THE RESOURCES REQUIRED FOR THEIR SOLUTION.