D.O.012 LIMBAJE FORMALE ȘI AUTOMATE FINITE