Penerapan Konsep Non-Deterministic Finite Automata (NFA) pada Aplikasi Simulasi Mesin Kopi Vending
DOI:
https://doi.org/10.32493/informatika.v4i1.2062Keywords:
Coffee Machines, Non-Deterministic Finite Automata, Automata Theory and LanguagesAbstract
In this research, an application for the simulation of vending coffee machines will be discussed using the concept of Non-Deterministic Finite Automata (NFA). With the projected growth in coffee consumption in Indonesia, which increases every year, vending machines can be one of the innovations that can be applied to coffee machines. This coffee vending machine can make 6 coffee variants, with its temperature and desired glass size. There is also a system of cash payments that are applied to this vending coffee machine, where the change will be issued according to the excess balance that is available. The method used is the formal method, to link the design of formal specifications with the application flowchart. Based on the test results obtained, the concept of Non-Deterministic Finite Automata (NFA) can be used as an alternative in the design of vending coffee machines.References
Butler, R. (2018, November 6). What is Formal Methods? Retrieved from NASA Langley Formal Methods Research Program: https://shemesh.larc.nasa.gov/fm/fm-what.html
Rizky Indah Melly E.P, W. D. (2012). Penerapan Konsep Finite State Automata (FSA) pada Mesin Pembuat Minuman Kopi Otomatis. Jurnal Komputasi, 95-102.
Yolanda, F. (2018, November 4). Pertumbuhan Konsumsi Kopi Diproyeksi Meningkat Tujuh Persen. Retrieved from Republika: https://republika.co.id/berita/ekonomi/korporasi/18/10/18/pgshsz370-pertumbuhan-konsumsi-kopi-diproyeksi-meningkat-tujuh-persen
Downloads
Published
Issue
Section
License
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
Jurnal Informatika Universitas Pamulang have CC-BY-NC or an equivalent license as the optimal license for the publication, distribution, use, and reuse of scholarly work.
In developing strategy and setting priorities, Jurnal Informatika Universitas Pamulang recognize that free access is better than priced access, libre access is better than free access, and libre under CC-BY-NC or the equivalent is better than libre under more restrictive open licenses. We should achieve what we can when we can. We should not delay achieving free in order to achieve libre, and we should not stop with free when we can achieve libre.
Jurnal Informatika Universitas Pamulang is licensed under a Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
YOU ARE FREE TO:
- Share : copy and redistribute the material in any medium or format
- Adapt : remix, transform, and build upon the material for any purpose, even commercially.
- The licensor cannot revoke these freedoms as long as you follow the license terms
