Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : Journal of Applied Mathematics and Modelling

Applying Finite State Automata to Structural Design of an Automatic Ice Cream Machine Lestari, Novilia; Sri Wahyu; Melisa Sartika; Annisa Thurrabiah Khanza; Sadra Afifah
Journal of Applied Mathematics and Modelling Vol. 1 No. 2 (2025): Journal of Applied Mathematics and Modelling
Publisher : CIB Nusantara

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.64570/jamm.v1i2.28

Abstract

Technological advances encourage the implementation of automated machines to improve efficiency and process consistency, one of which is in automatic ice cream machines. These machines require a structured control system to manage the ordering flow and user interaction. This study aims to apply Automata theory, specifically Finite State Automata (FSA), to systematically model the working logic of an automatic ice cream machine. The system workflow is represented using Non-Deterministic Finite Automata (NFA) which includes the stages of cup size selection, flavor selection, topping selection, payment process, and order confirmation. This system allows the selection of 3 cup sizes: small, medium, and large, ensuring that each ordering process begins with an explicit cup size selection before the user proceeds to the next stage. Also, at the topping selection stage, the automata model is designed to be more flexible by providing transitions that allow users to choose no topping at all or to choose more than one topping. Model validation was carried out through simulations using JFLAP. The simulation results show that the model can accept valid input sequences and reject invalid inputs, so that the system flow runs consistently. Thus, FSA is proven effective as a formal framework in modeling and analyzing automatic ice cream machine systems.
Co-Authors Abda Abda Abdullah, Rezky Putri Indarwati Abrar, Muhammad Edwin Raihan Ahmad Ardhani Pratama Ahmad, Hafidlotul Fatimah Akib, Marlyanti Nur Rahmah Albaab, Muh. Ulil Alfajri, Taufik Alfina Baharuddin Andi Husni Esa Darussalam Andi Retno Afifah Annisa Thurrabiah Khanza Ardhani, Ahmad Arfah, Arni Isnaini Arifin, Arina Fathiyyah Arina Fathiyyah Arifin Arni Isnaini Arfah Arrezkya, Rahayu Arta, Herly Aryani, Aulia Aswan, Ahmad Naufal Aulia Rizki Firdawanti Aulia, Aulia Bakhtiar, Ilma Khaerina Bukhari, Agussalim Cahyani, Nafila Dahlia Dahlia Eka Yanti, Andi Kartini Eka, Andi Kartini Erida Hasbi, Berry Evawani Elysa Lubis Fahmi Rizal Firdaus Hamid Gayatri B., Sri Wahyuni Gayatri, Sri Wahyuni Ghina, Nadiyatul Gultom, Esra Agustina Gultom Hadi, Santriani Harahap, Muh. Wirawan Hariansyah, Hariansyah Hasbi, Berry Erida Herdiansyah, Muh. Ida Royani Ika Fitri Apriani Ilda, Khusnul Ilmianti, Ilmianti Indah Lestari Daeng Kanang Iriani, Sastrawati Indah Irna Diyana Kartika Kanang, Indah Lestari Daeng Kesya Azzahra Putri Khairuddin Djawad Khairunnisa, Siti Fayka lamtiar, Lamtiar Pasaribu Lestari, Novilia Maisuri T Chalid, Maisuri T Manurung, Basaria Melisa Sartika Mochammad Erwin Rachman Mochammad Erwin Rachman, Mochammad Erwin Mochammad Hatta Mohammad Reza Zainal Abidin Muchsin, Achmad Harun Muh. Alfian Jafar Muhammad Rijal Wahid Muharram Muhdaris, Redoa Asll Mula Putra, Fadil Muradina, Amalia Nainggolan Nur Agustiani Nur, Muh. Jabal Nurhikmawati, Nurhikmawati Oktavia, Aulia Pandu Wiryansya, Edward Pratama, Marhumi Putri Prema Hapsari Prima Sari, Devni Rachman, Erwin Rachmat Faisal Syamsu Rachmat Faisal Syamsu, Rachmat Faisal Reni, Putri Rosdiana Natzir S Sunardi Sabri, Tsabita Salsabila Sadra Afifah Safitri, Asrini Saldy, Rifantio Sarah Sarwati, Athiyyah Sembiring, Isyos Sari Sodiqah, Yani Sri Irmandha K Sri Julyani Sri Vitayani Sri Wahyuni Gayatri Syahruddin, Febie Irsandy Toto Bara Setiawan Triara, Lifeni Tritiro Pasigai, St Ramadina Puteri Ummul Khairi, Annisa Widiyastuti, Nanda Febriyanti Wisudawan, Wisudawan Yusmet Rizal Z., Nurul Islah Zainal, Muh. Reza Zalfaa Yasmine Saatirah