deterministic finite automata
Recently Published Documents


TOTAL DOCUMENTS

197
(FIVE YEARS 47)

H-INDEX

15
(FIVE YEARS 2)

2021 ◽  
Vol 8 (2) ◽  
pp. 103
Author(s):  
Yessica Fara Desvia ◽  
Rosadi Rosadi ◽  
Frieyadie Frieyadie ◽  
Tuti Haryanti ◽  
Windu Gata

Abstrak: Parfum banyak digemari oleh berbagai kalangan, salah satunya adalah parfum laundry. Parfum laundry memiliki berbagai macam varian aroma, meliputi aroma buah, aroma bunga, aroma perpaduan buah dan bunga, dan aroma kayu-kayuan. Parfum laundry ini merupakan rangkaian akhir dalam proses laundry. Saat ini pelanggan menerima hasil laundry dengan aroma parfum yang dipilih secara random sesuai ketersediaan pihak laundry, hal ini menjadi masalah karena pelanggan tidak dapat memilih aroma parfum laundry sesuai dengan keinginan mereka. Dengan alasan tersebut maka diperlukan suatu rancangan sebuah Vending Machine (VM), rancangan VM ini menggunakan metode Finite State Automata (FSA) dengan jenis Non-Deterministic Finite Automata (NFA), metode tersebut digunakan karena dapat mengakomodir lebih dari satu kondisi dalam satu pilihan. Metode FSA jenis NFA dibuat dengan tahapan analisa proses bisnis, diagram state, desain VM dan pengujian. Hasil dari penelitian ini dengan adanya VM pemilihan parfum laundry pakaian, maka mempermudah pelanggan untuk dapat memilih parfum laundry sehingga pelanggan memperoleh hasil laundry dengan aroma parfum sesuai pilihan mereka.   Kata kunci: finite state automata, parfum laundry, vending machine   Abstract: Perfume is much favored by various circles, one of which is laundry perfume. Laundry perfume has a wide range of scent variants, including fruity scents, floral scents, fruity floral scents, and woody scents. This laundry perfume is the final line in the laundry process. Currently customers receive laundry results with perfume scents selected randomly according to the availability of the laundry party, this is a problem because customers cannot choose laundry perfume scents according to their wishes. For this reason, it is necessary to design a Vending Machine (VM), this VM design uses the Finite State Automata (FSA) method with the Non-Deterministic Finite Automata (NFA) type, this method is used because it can accommodate more than one condition in one choice. The FSA type of NFA method is made with the stages of business process analysis, state diagrams, VM design and testing. The results of this study with the VM in the selection of clothes laundry perfume, it makes it easier for customers to be able to choose laundry perfumes so that customers get laundry results with the perfume scent of their choice.   Keywords: finite state automata, laundry perfume, vending machine


Axioms ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 338
Author(s):  
Cezar Câmpeanu

Deterministic Finite Cover Automata (DFCA) are compact representations of finite languages. Deterministic Finite Automata with “do not care” symbols and Multiple Entry Deterministic Finite Automata are both compact representations of regular languages. This paper studies the benefits of combining these representations to get even more compact representations of finite languages. DFCAs are extended by accepting either “do not care” symbols or considering multiple entry DFCAs. We study for each of the two models the existence of the minimization or simplification algorithms and their computational complexity, the state complexity of these representations compared with other representations of the same language, and the bounds for state complexity in case we perform a representation transformation. Minimization for both models proves to be NP-hard. A method is presented to transform minimization algorithms for deterministic automata into simplification algorithms applicable to these extended models. DFCAs with “do not care” symbols prove to have comparable state complexity as Nondeterministic Finite Cover Automata. Furthermore, for multiple entry DFCAs, we can have a tight estimate of the state complexity of the transformation into equivalent DFCA.


2021 ◽  
Vol 9 (2) ◽  
pp. 08-14
Author(s):  
Eko Supriyanto ◽  
Angga Ardiansyah ◽  
Frieyadie Frieyadie ◽  
Sri Rahayu ◽  
Windu Gata

Kebutuhan obat non resep dokter dan keperluan medis menjadi salah satu kebutuhan yang sangat penting untuk dipenuhi dengan mudah,cepat, tepat, dan aman bagi masyarakat saat ini, beragamnya pilihan  obat yang dijual   mengharuskan masyarakat mampu memilih dengan cermat dan tepat dalam membeli obat sesuai dengan kebutuhan penyakit yang dialami,informasi tentang kandungan, aturan pakai dan efek samping dari obat juga sangat penting untuk diketahui masyarakat guna memaksimalkan maanfaat dari obat yang dikonsumsi. Sistem penjualan obat yang tersedia saat ini adalah dengan penjualan langsung di apotek, toko kelontong dan secara daring yang memiliki keterbatasan dalam sebaran ketersedian toko dan waktu pelayanan yang terbatas. Penelitian ini bertujuan untuk memberikan alternatif sistem penjualan obat non resep dokter dan keperluan medis dengan memanfaatkan perkembangan teknologi vending machine (VM) menggunakan  finite state automata (FSA model Non-deterministic Finite Automata (NFA)). Dengan kelebihan penjualan menggunakan VM yang dapat diletakan dimana saja dan dapat beroperasi kapan saja membuat penjualan dengan sistem ini dapat tersedia kapanpun dan dimanapun untuk memenuhi kebutuhan obat dan keperluan medis bagi masyarakat yang mendesak dengan mudah,cepat, tepat, dan aman. Metode yang diterapkan dalam Penerapan FSA pada VM Penjual Obat Non Resep Dokter dan Keperluan Medis ini antara lain Finite State Automata VM Obat Non Resep Dokter dan Keperluan Medis, Perancangan Sistem VM Obat Non Resep Dokter dan Keperluan Medis,dan Desain VM Obat Non Resep Dokter dan Keperluan Medis. Berdasarkan perancangan FSA VM diatas, dihasilkan VM Penjual Obat Non Resep Dokter dan Keperluan Medis yang dapat diletakan dimana saja dan tersedia kapan saja, sehingga dapat disimpulkan penggunaan finite state automata (FSA) model Non-deterministic Finite Automata (NFA) dapat dimanfaatkan dalam pembuatan VM Penjual Obat Non Resep Dokter dan Keperluan Medis dengan menyediakan menu pilihan metode pembayaran tunai dan non tunai, kebutuhan akan obat dan keperluan medis yang mendesak bagi masyarakat dapat terpenuhi dengan mudah, cepat, tepat dan aman.


Computability ◽  
2021 ◽  
pp. 1-16
Author(s):  
Merlin Carl

An important theorem in classical complexity theory is that REG = LOGLOGSPACE, i.e., that languages decidable with double-logarithmic space bound are regular. We consider a transfinite analogue of this theorem. To this end, we introduce deterministic ordinal automata (DOAs) and show that they satisfy many of the basic statements of the theory of deterministic finite automata and regular languages. We then consider languages decidable by an ordinal Turing machine (OTM), introduced by P. Koepke in 2005 and show that if the working space of an OTM is of strictly smaller cardinality than the input length for all sufficiently long inputs, the language so decided is also decidable by a DOA, which is a transfinite analogue of LOGLOGSPACE ⊆ REG; the other direction, however, is easily seen to fail.


2021 ◽  
Vol 9 (02) ◽  
pp. 100-104
Author(s):  
Deny Robyanto ◽  
Ade Priyatna Priyatna ◽  
Eni Heni Hermaliani ◽  
Frieyadie Frieyadie ◽  
Windu Gata

Each ministry always has a budget for official travel, especially for the daily money given to personnel who travel in exchange for daily expenses. With the current pendemi need to be held an application system that can reduce contact when handling official travel files. The design of this application will use the implementation of Deterministic Finite Automata (DFA) as an abstract machine to determine the state or stages to determine the transition between these stages to determine the daily money calculation of official travel. From the calculation of daily money will be made recapitulation to be verified and if it is considered appropriate and correct will be transferred to the account that travels to the office. This is the role in making abstract machines for the calculation of daily money using Deterministic Finite Automata (DFA) because each stage is right to one stage next until the last stage that prints proof of transfer.


Mathematics ◽  
2021 ◽  
Vol 9 (16) ◽  
pp. 1937
Author(s):  
Agustín Moreno Moreno Cañadas ◽  
Isaías David Marín Marín Gaviria ◽  
Juan David Camacho Camacho Vega

Mutations on Brauer configurations are introduced and associated with some suitable automata to solve generalizations of the Chicken McNugget problem. Additionally, based on marked order polytopes, the new Diophantine equations called Gelfand–Tsetlin equations are also solved. The approach allows algebraic descriptions of some properties of the AES key schedule via some Brauer configuration algebras and suitable non-deterministic finite automata (NFA).


Algorithms ◽  
2021 ◽  
Vol 14 (8) ◽  
pp. 238
Author(s):  
Faissal Ouardi ◽  
Zineb Lotfi ◽  
Bilal Elghadyry

This paper describes a fast algorithm for constructing directly the equation automaton from the well-known Thompson automaton associated with a regular expression. Allauzen and Mohri have presented a unified construction of small automata and gave a construction of the equation automaton with time and space complexity in O(mlogm+m2), where m denotes the number of Thompson automaton transitions. It is based on two classical automata operations, namely epsilon-removal and Hopcroft’s algorithm for deterministic Finite Automata (DFA) minimization. Using the notion of c-continuation, Ziadi et al. presented a fast computation of the equation automaton in O(m2) time complexity. In this paper, we design an output-sensitive algorithm combining advantages of the previous algorithms and show that its computational complexity can be reduced to O(m×|Q≡e|), where |Q≡e| denotes the number of states of the equation automaton, by an epsilon-removal and Bubenzer minimization algorithm of an Acyclic Deterministic Finite Automata (ADFA).


2021 ◽  
Vol 58 (4) ◽  
pp. 263-279
Author(s):  
Henning Bordihn ◽  
György Vaszil

AbstractWe study the concept of reversibility in connection with parallel communicating systems of finite automata (PCFA in short). We define the notion of reversibility in the case of PCFA (also covering the non-deterministic case) and discuss the relationship of the reversibility of the systems and the reversibility of its components. We show that a system can be reversible with non-reversible components, and the other way around, the reversibility of the components does not necessarily imply the reversibility of the system as a whole. We also investigate the computational power of deterministic centralized reversible PCFA. We show that these very simple types of PCFA (returning or non-returning) can recognize regular languages which cannot be accepted by reversible (deterministic) finite automata, and that they can even accept languages that are not context-free. We also separate the deterministic and non-deterministic variants in the case of systems with non-returning communication. We show that there are languages accepted by non-deterministic centralized PCFA, which cannot be recognized by any deterministic variant of the same type.


2021 ◽  
Vol 5 (1) ◽  
pp. 80-88
Author(s):  
Yanto Yanto ◽  
◽  
Dinar Ismunandar ◽  
Erni Erni ◽  
Santoso Setiawan ◽  
...  

This study discusses how Finite State Automata (FSA) can be used as a model to design a Tajweed Science game application as a business diagram. This study aims to facilitate early childhood in learning the science of recitation by grouping hijaiyah letters into grouping the science of recitation by using a touch of the hand. The type of automata theory used is a non-deterministic finite automata with epsilon transition (E) or better known as E-NFA. Each transition, input, state that exists from the NFA, is basically to show the characteristics or states that occur in a game application. The importance of this research, in addition to learning recitation from an early age, is to show that automata theory can be used to help design a system in making game applications. The results of this Tajweed Science game application design are a rough display because there will still be further development stages and can ensure that game applications can be built from E-NFA modeling.


METIK JURNAL ◽  
2021 ◽  
Vol 5 (1) ◽  
pp. 63-70
Author(s):  
Refi Riduan Achmad ◽  
Fahmi Fadillah Septiana ◽  
Nur Syamsi ◽  
Bobby Suryo Prakoso ◽  
Hafifah Bella Novitasari

Revolusi Industri 4.0 dan Society 5.0 menuntut untuk terus mengembangkan bidang teknologi dan sumber daya manusia dalam seluruh ranah kehidupan. Penelitian ini bertujuan untuk memadukan antara teknologi dan upaya peningkatan literasi, dalam hal ini membahas tentang penerapan finite automata pada vending machine untuk mempermudah transaksi pengembalian buku di perpustakaan. Metode penelitian yakni melakukan penggambaran Finite State Automata menggunakan Non-deterministic Finite Automata, perancangan Diagram State mengenai fitur-fitur dan desain tampilan antarmuka saat Vending Machine diimplementasikan. Hasil penelitian menunjukkan bahwa penggunaan Non-deterministic Finite Automata pada desain Vending Machine pengembalian buku di perpustakaan dapat mempermudah transaksi pengembalian buku di perpustakaan.


Sign in / Sign up

Export Citation Format

Share Document