Finite State Automata Engine

SoleFlow

Laundry Shoe Tracking System

Lacak setiap tahap pencucian sepatumu secara real-time melalui model Finite State Automata (FSA) — dari sepatu diterima hingga siap diambil, direpresentasikan sebagai transisi status yang presisi dan transparan.

7 State
6 Transisi
Real-time Tracking
Ilustrasi sepatu dengan alur node status
Status Aktif Dalam Antrian

7

State (Status Proses)

Dari sepatu diterima hingga proses selesai sepenuhnya.

6

Transition (Perpindahan)

Setiap penekanan tombol "Next" memicu satu fungsi transisi δ.

1

Final State

State q6 — "Selesai" — direpresentasikan sebagai lingkaran ganda.

Tentang Sistem

Apa itu Finite State Automata?

Finite State Automata (FSA) adalah model komputasi abstrak yang terdiri dari sejumlah state berhingga, satu state awal, satu atau lebih final state, serta fungsi transisi yang memetakan pasangan (state, input) menuju state berikutnya. SoleFlow mengaplikasikan konsep ini untuk memodelkan alur nyata proses laundry sepatu.

Formal Definition — 5-Tuple (Q, Σ, δ, q₀, F)
  • Q = {q0, q1, q2, q3, q4, q5, q6}
  • Σ = {next, reset}
  • δ = fungsi transisi berurutan qₙ → qₙ₊₁
  • q₀ = Sepatu Diterima (initial state)
  • F = {q6} (final state)
Tujuan Aplikasi

Memvisualisasikan penerapan teori automata pada studi kasus nyata layanan laundry sepatu, sehingga konsep state & transisi menjadi mudah dipahami.

Cara Kerja Simulasi

Setiap klik tombol Next memicu transisi δ(qₙ, next) = qₙ₊₁. Tombol Reset mengembalikan otomata ke state awal q0.

Deterministik

Setiap state hanya memiliki satu transisi valid berikutnya — tidak ada ambiguitas jalur, menjadikannya Deterministic Finite Automata (DFA).

Final State

Ketika mencapai q6 dan tombol Next kembali ditekan, sistem menampilkan notifikasi bahwa proses laundry telah selesai.

Visualisasi

Diagram FSA Interaktif

Diagram berikut memperbarui warna node secara otomatis mengikuti state aktif pada simulasi dashboard. Node dengan lingkaran ganda menandakan final state.

Belum dilalui Terlewati Aktif sekarang Final state
q0 Diterima q1 Antrian q2 Dicuci q3 Dikeringkan q4 QC q5 Siap Diambil q6 Selesai
Simulasi

Dashboard Laundry

Isi data sepatu untuk memulai simulasi, lalu gunakan tombol Next / Reset untuk menjalankan transisi state secara langsung.

Mulai Tracking Sepatu
Nama customer wajib diisi.
Jenis sepatu wajib dipilih.
Info Order
Sepatu Diterima
  • Order ID
  • Customer
  • Jenis Sepatu
  • Tanggal Masuk
  • Status Saat Ini q0 — Sepatu Diterima
Progress Proses
0%

Timeline
History
  • Belum ada aktivitas.