scholarly journals Penerapan Konsep Finite State Automata Pada Aplikasi Simulasi Vending Machine Beras

2021 ◽  
Vol 14 (1) ◽  
pp. 130-140
Author(s):  
Anggun Yuli Asih ◽  
Rini Novi Ambarwati ◽  
Eni Heni Hermaliani ◽  
Tuti Haryanti ◽  
Windu Gata
Keyword(s):  
Finite State Automata ◽  
Finite State

Indonesia terkenal sebagai negara agraris karena memiliki sumber daya alam melimpah yang didukung dengan tanah subur sehingga masyarakatnya mayoritas bermatapencaharian sebagai petani. Salah satu hasil pertanian yang berkontribusi terhadap kemiskinan di Indonesia yaitu beras. Beras dengan mudah dapat ditemukan di pasar baik pasar tradisional maupun pasar modern, namun ditengah pandemi virus corona (COVID-19) sekarang ini membuat orang merasa takut untuk pergi ke pasar karena pasar merupakan salah satu klaster terbesar penularan covid-19. Salah satu inovasi teknologi yang telah banyak digunakan dalam dunia perniagaan yaitu vending machine (VM). VM merupakan sebuah mesin penjualan otomatis yang biasanya terdapat di tempat ramai dan strategis. Hal ini yang mendasari untuk pembuatan simulasi VM beras dan diharapkan dapat menjadi salah satu solusi pemutus penyebaran dan penularan covid-19. Simulasi VM beras ini dapat melakukan penjualan otomatis beras dengan masukkan berupa uang kertas atau dengan e-money dan keluarannya berupa struk bukti pembelian beras dan 5 jenis beras. Metode yang digunakan yaitu Finite State Automata (FSA) jenis Non-deterministic Finite State Automata (NFA) yang didefinisikan lima tupel, dengan rumus: M = (Q, Σ, δ, S, F). NFA dipilih karena dapat menjelaskan konsep kerja secara rinci sehingga mudah dipahami dan hasil dari FSA dapat dibuat konsep logika sederhana untuk implementasi.

Characterizations of rough finite state automata

2015 ◽  
Vol 8 (3) ◽  
pp. 721-730 ◽  
Author(s):  
Shambhu Sharan ◽  
Arun K. Srivastava ◽  
S. P. Tiwari
Keyword(s):  
Finite State Automata ◽  
Finite State

scholarly journals Copyful Streaming String Transducers

2021 ◽  
Vol 178 (1-2) ◽  
pp. 59-76
Author(s):  
Emmanuel Filiot ◽  
Pierre-Alain Reynier
Keyword(s):  
Polynomial Time ◽  
Equivalence Problem ◽  
Expressive Power ◽  
The Other ◽  
Finite State Automata ◽  
Finite State ◽  
Variable Content ◽  
Deterministic Automata ◽  
Intermediate Output ◽  
Linear Manner

Copyless streaming string transducers (copyless SST) have been introduced by R. Alur and P. Černý in 2010 as a one-way deterministic automata model to define transductions of finite strings. Copyless SST extend deterministic finite state automata with a set of variables in which to store intermediate output strings, and those variables can be combined and updated all along the run, in a linear manner, i.e., no variable content can be copied on transitions. It is known that copyless SST capture exactly the class of MSO-definable string-to-string transductions, and are as expressive as deterministic two-way transducers. They enjoy good algorithmic properties. Most notably, they have decidable equivalence problem (in PSpace). On the other hand, HDT0L systems have been introduced for a while, the most prominent result being the decidability of the equivalence problem. In this paper, we propose a semantics of HDT0L systems in terms of transductions, and use it to study the class of deterministic copyful SST. Our contributions are as follows: (i)HDT0L systems and total deterministic copyful SST have the same expressive power, (ii)the equivalence problem for deterministic copyful SST and the equivalence problem for HDT0L systems are inter-reducible, in quadratic time. As a consequence, equivalence of deterministic SST is decidable, (iii)the functionality of non-deterministic copyful SST is decidable, (iv)determining whether a non-deterministic copyful SST can be transformed into an equivalent non-deterministic copyless SST is decidable in polynomial time.

Synthesis with Mandatory Stop Actions

2021 ◽  
Author(s):  
Giuseppe De Giacomo ◽  
Antonio Di Stasio ◽  
Giuseppe Perelli ◽  
Shufang Zhu
Keyword(s):  
Model Checking ◽  
Finite State Automata ◽  
Deep Impact ◽  
Synthesis Technique ◽  
Büchi Automata ◽  
Finite State ◽  
Ltl Synthesis ◽  
Buchi Automata ◽  
The Impact

We study the impact of the need for the agent to obligatorily instruct the action stop in her strategies. More specifically we consider synthesis (i.e., planning) for LTLf goals under LTL environment specifications in the case the agent must mandatorily stop at a certain point. We show that this obligation makes it impossible to exploit the liveness part of the LTL environment specifications to achieve her goal, effectively reducing the environment specifications to their safety part only. This has a deep impact on the efficiency of solving the synthesis, which can sidestep handling Buchi determinization associated to LTL synthesis, in favor of finite-state automata manipulation as in LTLf synthesis. Next, we add to the agent goal, expressed in LTLf, a safety goal, expressed in LTL. Safety goals must hold forever, even when the agent stops, since the environment can still continue its evolution. Hence the agent, before stopping, must ensure that her safety goal will be maintained even after she stops. To do synthesis in this case, we devise an effective approach that mixes a synthesis technique based on finite-state automata (as in the case of LTLf goals) and model-checking of nondeterministic Buchi automata. In this way, again, we sidestep Buchi automata determinization, hence getting a synthesis technique that is intrinsically simpler than standard LTL synthesis.

Sign in / Sign up

Export Citation Format

Share Document