Documente Academic
Documente Profesional
Documente Cultură
Subiecte de examen
I.)
II.)
Problema acceptabilitatii
definitie, teoreme pentru REG, CFL, MT, ALM
Decidabilitatea CFL
GIC, PDA, Lema de pompare; FN, Teoremele: LLIC => L = decidabil; LLIC
=> LP
Observaie
Pentru fiecare subiect:
se vor enuna toate definiiile, lemele, propoziiile i teoremele
i se va face o singur demonstraie (la alegere, dar incluzand i dem. rezultatelor
anterioare utilizate, mai putin aducerea la CNF sau echivalenta automatelor i
gramaticilor) ).