Konsep dalam Teori Otomata dan Pembuktian formal
Sub Topik
- Pengantar Finite Automata
- Representasi struktural
- PembuktianDeduktif
- Pembuktian menggunakan teori himpunan, kontrapositif, kontradiksi dan counterexample.
- Pembuktian Induktif
- Alfabet, string dan bahasa
Materi 2
Finite automata
Subtopik
- Deterministic Finite Automata
Notasi untuk DFA
Perluasan Fungsi Transisi untuk String
Konstruksi δ* dari δ
Bahasa dari Sebuah DFA
- Nondeterministic Finite Automata
Bahasa dari NFA
Ekuivalensi dari DFA dan NFA
Finite Automata dengan Transisi-ε
Notasi Formal untuk sebuah ε-NFA
Epsilon-Closure (ECLOSE)
Fungsi Transisi yang Diperluas dan Bahasa untuk ε-NFA
Mengeliminasi Transisi -ε
Materi 3
Ekspresi dan Bahasa Regular
Sub topik
- Membuat Ekspresi Regular
- Finite Automata dan Ekspresi Regular
- Dari DFA ke Ekspresi Regular
- Konversi DFA ke Ekspresi Regular dengan Mengeliminasi State
- Konversi Ekspresi Regular ke Automata
- Hukum-Hukum Aljabar untuk Ekspresi Regular
.:: Home ::.
`
1 comments:
..Lets Go
Post a Comment