📚 Simulator FSA — Status Peminjaman Buku

Finite State Automata: Q={Tersedia, Dipesan, Dipinjam, Terlambat, Dikembalikan} · F={Tersedia}

Diagram State (Q)

F
Tersedia
q0 · State Akhir
Dipesan
Dipinjam
Terlambat
Dikembalikan
transien

Diagram Alur Transisi (δ)

Tersedia →Pesan Dipesan →Ambil Dipinjam
Dipinjam →Kembalikan Dikembalikan →auto Tersedia
Dipinjam →Lewat_Jatuh_Tempo Terlambat →Bayar_Denda_Kembali Dikembalikan →auto Tersedia
q (state manapun) →Reset Tersedia

Panel Kontrol Aksi (Σ)

State saat ini: Tersedia

Log Riwayat Transisi

# Waktu State Asal Input State Tujuan Status