Abstract Automata learning is a technique to infer an automaton model of black-box system via queries the system. In recent years it has found widespread use both in industry and academia, as enables formal verification when no available or too complex create one manually. this paper we consider problem individual components synchronous system, assuming can only query whole We introduce composi...

—Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its abstract mathematical nature automata is used to be taught by traditional lecture-driven style. Virtual reality and web-based learning can provide automata learners with a unique experience such as interactive learnin...

In this paper a data miner based on the learning automata is proposed and is called LA-miner. The LA-miner extracts classification rules from data sets automatically. The proposed algorithm is established based on the function optimization using learning automata. The experimental results on three benchmarks indicate that the performance of the proposed LA-miner is comparable with (sometimes be...

We investigate weighted asynchronous cellular automata with weights in valuation monoids. These automata form a distributed extension of weighted finite automata and allow us to model concurrency. Valuation monoids are abstract weight structures that include semirings and (non-distributive) bounded lattices but also offer the possibility to model average behaviors. We prove that weighted asynch...