Documente Academic
Documente Profesional
Documente Cultură
FACULTATEA DE INFORMATIC
2011
PREZENTAREA MODULULUI
Modulul "Limbaje formale i automate" are drept scop prezentarea unor aspecte teoretice i practice
fundamentale din domeniul limbajelor formale i automatelor, accentul fiind pus pe modul de
utilizarea al acestora n modelarea unor sisteme informatice.
Modulul ncepe cu o unitate de nvare n care se prezint noiuni fundamentale despre gramatici i
clasificarea Chomsky a acestora, precum i numeroase exemple. n urmtorul modul sunt prezentate
aspecte referitoare la gramaticile independente de context: forma normal Chomsky, arbori de
derivare i metode de simplificare a gramaticilor independente de context. n al treilea modul sunt
prezentate gramaticile regulate i automatele finite, precum i echivalena dintre acestea. n al patrulea
modul sunt prezentate automatele pushdown i echivalena lor cu gramaticile independente de
context. n ultimul modul sunt prezentate proprieti de nchidere ale limbajelor independente de
context i ale celor regulate.
Prin nsi natura sa, acest modul este strns legat de modulele "Logic computaional", "Algoritmi
i structuri de date" i "Calculabilitate, decidabilitate i complexitate".
2
CUPRINS