IF2224 Teori Bahasa Formal dan Otomata

Back to index

Overview

• Intro

  • Pengenalan dan Aplikasi Teori Bahasa Formal & Automata (TBFO)
  • Teori Inti Automata dan Bahasa Formal
  • Soal Model Automata

• Finite Automata - DFA

  • Alphabet, String, dan Language
  • Pengenalan Deterministic Finite Automata (DFA)
  • Prinsip dan Algoritma Desain DFA
  • Pembuktian Kebenaran DFA
  • DFA Exercise

• Finite Automata - NFA

  • Pengenalan Nondeterministic Finite Automata (NFA)
  • Ekuivalensi NFA ke DFA
  • NFA dengan Transisi Epsilon (ε-NFA) dan E-Closure
  • Ekuivalensi ε-NFA ke DFA
  • Latihan Soal NFA

• Regular Expressions and Languages

  • Hukum Aljabar Bahasa
  • Regular Expressions dan Ekuivalensinya

• Properties of Regular Languages

  • Pumping Lemma
  • Closure Properties, Pt 1
  • Closure Properties, Pt 2
  • Decision Properties (Sifat Keputusan)
  • Minimasi DFA

• Context-Free Grammar dan Parse Tree

  • Pengenalan Context-Free Grammar (CFG) dan Derivasi
  • Parse Tree (Pohon Penurunan)
  • Ekuivalensi Parse Tree dan Derivasi

• Compiler (Lexical, Syntax, dan Semantic Analysis)

  • Fondasi Formal dan Hirarki Chomsky
  • Struktur Compiler dan Fase Analisis
  • Parsing Top-Down dan Masalah Rekursif Kiri
  • Analisis Semantik

• Persiapan UTS

  Pantesan 4 sks ya… I’M SO COOKED
  • Dasar banget ini buat ngejar pemahaman
  • Naik dikit - FA dan Regex
  • Naik dikit lagi - CFG dan Compiler

• Pushdown Automata (PDA)

  • Definisi Formal PDA
  • Metode Penerimaan PDA
  • PPT PDA, Pt. 1
  • Ekuivalensi CFG ke PDA
  • Ekuivalensi PDA ke CFG
  • Deterministic PDA (DPDA)