Cursul „Limbaje formale si automate” constituie bazele teoretice ale informaticii și are drept scop prezentarea aspectelor teoretice şi practice ale limbajelor formale, automatelor şi aplicarea lor la proiectarea şi implementarea produselor program. Extinderea ariei de aplicare a calculatoarelor, creşterea complexităţii şi intelectualizarea comunicării utilizatorului cu calculatorul generează probleme dificile care  necesită dezvoltarea unor metode adecvate de rezolvare. Anume teoria limbajelor formale şi a automatelor oferă soluţii optimale pentru elaborarea, formalizarea şi implementarea procesoarelor de text, limbajelor de programare, interfeţelor inteligente, motoarelor de căutare, sistemelor de gestiune a bazelor de date, aplicaţiilor Web. Cunoaşterea limbajelor formale şi a automatelor este benefică atât pentru orice profesionist în domeniul tehnologiei informației, cât şi pentru  cei  ce activează în domenii adiacente.