https://123dok.com/document/z1509r8y-aplikasi-bantu-pembelajaran-visualisasi-finite-state-automata-pembuktian.html