The Implementation of Finite State Automata in an Automatic Ice Cream Maker Machine
Keywords:
Finite State Automata, Formal Method, Prototyping Method, Automatic MachineAbstract
Technology is a tool that helps humans in carrying out an activity. With the use of technology in the industrial field, more goods are being produced. One type of technology that has a large part in the industry is automatic machinery. An automatic machine is a series of technologies intended to change activities that are manual to automatic that have the aim to improve the process of making goods, and have a higher quality product. Automata Theory is a branch of science that is not yet well known to many people but has an important role in the field of computer science. The main concept of the automata theory itself is how to make machines work automatically. Therefore, this study aims to apply the concept of the Automata theory to the automatic ice cream maker. This study discusses two methods for analyzing and supporting applications which are simulations of the ice cream maker itself. The formal method used to analyze the workings from reading the input to updating to give the final result of the machine. Another method used is the prototyping method where this method is used for the application of automatic ice cream maker applications in this study. The results of this study indicate that Finite State Automata can be an alternative for analyzing automatic ice cream making machines by reading the input provided by the user and then developing the patterns used.
Downloads
References
K. Mukherjee and A. Ray, "State splitting and merging in probabilistic finite state automata for signal representation and analysis," Signal processing, vol. 104, pp. 105-119, 2014.
Y. M. R. Putra, "Sentence Analysis with Artificial Intelligence Machine Learning Using Finite State Automata," PROXIES, vol. 1, no. 1, pp. 1-6, 2017.
S. Rostianingsih, G. S. Budhi, and H. K. Wijaya, "Game Simulasi Finite State Machine untuk Pertanian dan Peternakan," Surabaya: Universitas Kristen Petra, 2013.
F. Utdirartatmo, "Teori Bahasa dan Otomata," Graha Ilmu, Yogyakarta, Edisi, vol. 2, 2005.
W. Scacchi, "Process models in software engineering," Encyclopedia of software engineering, 2002.
R. S. Pressman, Software engineering: a practitioner's approach. Palgrave Macmillan, 2005.
D. Rosenberg and K. Scott, Use case driven object modeling with UML. Springer, 1999.
T. von der Maßen and H. Lichter, "Modeling variability by UML use case diagrams," in Proceedings of the International Workshop on Requirements Engineering for product lines, 2002: Citeseer, pp. 19-25.
J. W. Satzinger, R. B. Jackson, and S. D. Burd, Systems analysis and design in a changing world. Cengage learning, 2011.
B. Rahardjo, "Penggunaan formal methods dalam disain perangkat keras," PPAU-ME I.[Januari 1999], 1999.
Downloads
Published
How to Cite
Issue
Section
License
The submitting author warrants that the submission is original and that she/he is the author of the submission together with the named co-authors; to the extend the submission incorporates text passages, figures, data or other material from the work of others, the submitting author has obtained any necessary permission.
Articles in this journal are published under the Creative Commons Share Alike Attribution Licence (CC-BY-SA What does this mean?). This is to get more legal certainty about what readers can do with published articles, and thus a wider dissemination and archiving, which in turn makes publishing with this journal more valuable for you, the authors.
By submitting an article the author grants to this journal the non-exclusive right to publish it. The author retains the copyright and the publishing rights for his article without any restrictions.
