Zdravko Dovedan

Formalni jezici i prevodioci

 

  1. Predgovor
  2. OSNOVE
    1. SKUPOVI
    2. RELACIJE
    3. FUNKCIJE
    4. MATEMATIČKA LOGIKA
    5. GRAFOVI
  3. UVOD U TEORIJU FORMALNIH JEZIKA
    1. ZNAKOVI I NIZOVI ZNAKOVA
    2. DEFINICIJA FORMALNOG JEZIKA
    3. REGULARNI SKUPOVI I IZRAZI
  4. GRAMATIKE
    1. DEFINICIJA GRAMATIKE
    2. PRIKAZ GRAMATIKA
  5. IZVOĐENJE I TRANSFORMIRANJE GRAMATIKA
    1. IZVOĐENJE GRAMATIKA
    2. TRANSFORMIRANJE GRAMATIKA
  6. UVOD U TEORIJU AUTOMATA
    1. UVOD
    2. KONAČNI AUTOMAT
    3. STOGOVNI AUTOMAT
  7. OPĆENITI POSTUPCI SINTAKSNE ANALIZE
    1. SILAZNA SINTAKSNA ANALIZA
    2. UZLAZNA SINTAKSNA ANALIZA
    3. TABLIČNI POSTUPCI SINTAKSNE ANALIZE
  8. 6. JEDNOPROLAZNA SINTAKSNA ANALIZA
    1. JEZICI TIPA LL(k)
      • Definicija gramatike tipa LL(k)
      • Posljedice definicije LL(k)
      • Predikatna sintaksna analiza
      • Sintaksna analiza LL(1) jezika
      • Rekurzivni spust
    2. JEZICI TIPA LR(k)
      • Gramatike tip LR(0)
      • Izracunavanje skupa valjanih stavki
      • Definicija gramatike tipa LR(0)
      • LR(0) gramatike i deterministicki stogovni automati
      • Gramatike tipa LR(k)
      • Sintaksna analiza LR(1) jezika
    3. GRAMATIKE S RELACIJOM PRIORITETA
    4. EFIKASNOST JEDNOPROLAZNIH POSTUPAKA SINTAKSNE ANALIZE
      • Pitanja i zadaci
  9. JEZICI SA SVOJSTVIMA
    1. DEFINICIJA JEZIKA SA SVOJSTVIMA
    2. PREPOZNAVAČ JEZIKA SA SVOJSTVIMA
    3. USPOREDBA POSTUPAKA SINTAKSNE ANALIZE
  10. Literatura
  11. PRILOZI
    1. Sintaksna analiza jezika BNF
    2. Silazna sintaksna analiza
    3. Uzlazna sintaksna analiza
    4. CYK sintaksna analiza
    5. Predikatna sintaksna analiza
  12. Kazalo