“Pemodelan Deterministic Finite Automata (DFA) pada Sistem Kontrol Mesin Cuci Mandiri (Coin Laundry)”, TEKNIK, vol. 6, no. 2, pp. 120–133, Oct. 2026, doi: 10.51903/teknik.v6i2.1275.