Informatika
Bahasa formal
Apa itu bahasa formal, alfabet, dan string. Konsep dasar teori bahasa formal yang dijelaskan dengan membandingkannya dengan bahasa sehari-hari dan dengan contoh.
Automata hingga
Otomaton hingga sebagai model komputasi dengan state dan transisi. Definisi, diagram transisi, formalisasi komputasi, dan contoh string yang diterima.
Minimisasi automata
State tak tercapai pada otomaton hingga, yaitu state yang tidak dapat dicapai dari state awal. Definisi dan cara menghapusnya dari otomaton dengan aman.
Sifat ketertutupan bahasa reguler
Bahasa reguler tertutup terhadap gabungan, irisan, konkatenasi, dan penutup. Apa arti tertutup terhadap suatu operasi dan mengapa sifat ini berlaku untuk bahasa reguler.
Ekspresi reguler
Apa itu ekspresi reguler dan bagaimana ekspresi ini menggambarkan himpunan string. Definisi, perbandingan dengan ekspresi aritmetika, dan hubungannya dengan otomaton hingga.
Estimasi banyaknya nilai unik
Linear counting: cara menaksir banyaknya nilai unik dalam data berukuran besar. Fungsi hash, bitmap, dan mengapa cara naif tidak cukup.
Filter Bloom: apakah suatu elemen ada dalam himpunan?
Filter Bloom adalah struktur data probabilistik yang dengan cepat menjawab apakah suatu elemen ada dalam himpunan. Prinsip, fungsi hash, dan penggunaannya dalam praktik.
Sandi Caesar
Cara kerja sandi Caesar, salah satu cara tertua untuk mengenkripsi teks. Prinsip pergeseran huruf, perumuman sandi, dan alat enkripsi daring.
Sandi Vigenère
Sandi Vigenère menggunakan beberapa alfabet sehingga tahan terhadap analisis frekuensi. Prinsip enkripsi, bujur sangkar Vigenère, pemilihan kunci, dan alatnya.