ANALISIS OTOMATA

Otomata tidak dapat dihasilkan secara langsung dari source code yang diberikan, karena source code tersebut adalah program untuk mengelola transaksi kasir dan bukan deskripsi formal dari sebuah otomata. 

Namun, jika kita ingin menggambarkan otomata yang relevan dengan kasus tersebut, kita dapat memodelkannya sebagai otomata berbasis keadaan untuk mengelola proses transaksi kasir. Berikut adalah deskripsi informal dari otomata yang mungkin cocok untuk kasus tersebut:

1. Keadaan Awal: Otomata dimulai dalam keadaan awal, di mana belum ada transaksi yang dilakukan.

2. Masukan: Masukan utama adalah jumlah beli, nama barang, jumlah barang, harga barang, dan jumlah uang yang dibayarkan.

3. Transisi Keadaan:

• Ketika menerima masukan jumlah beli, otomata akan beralih ke keadaan menerima masukan barang.

• Dalam keadaan menerima masukan barang, otomata akan menerima masukan nama barang, jumlah barang, dan harga barang untuk setiap barang yang dibeli.

• Setelah semua barang diinput, otomata akan beralih ke keadaan menghitung total belanja dan diskon.

• Dalam keadaan menghitung total belanja dan diskon, otomata akan menghitung total harga, memeriksa jumlah total belanja, dan menentukan diskon yang sesuai.

• Setelah itu, otomata akan beralih ke keadaan menerima pembayaran.

• Dalam keadaan menerima pembayaran, otomata akan menerima masukan jumlah uang yang dibayarkan.

• Setelah menerima pembayaran, otomata akan beralih ke keadaan menghitung kembalian.

• Dalam keadaan menghitung kembalian, otomata akan menghitung jumlah kembalian yang harus diberikan.

• Terakhir, otomata akan beralih ke keadaan selesai.

3. Output: Output utama adalah struk belanja, jumlah bayar, diskon, total bayar, dan kembalian.

Perhatikan bahwa deskripsi di atas bersifat informal dan hanya memberikan gambaran umum tentang bagaimana otomata yang mungkin dapat diaplikasikan pada kasus tersebut. Untuk menghasilkan otomata yang lebih formal, kita perlu menyediakan definisi keadaan, simbol masukan, fungsi transisi, dan keadaan akhir dengan lebih rinci.