D.O.012 Limbaje Formale și Automate Finite