Results 1 to 10 of about 283,490 (218)
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton [PDF]
International Conference on Computer Aided Verification, 2018 We present Rabinizer 4, a tool set for translating formulae of linear temporal logic to different types of deterministic \(\omega \)-automata. The tool set implements and optimizes several recent constructions, including the first implementation translating the frequency extension of LTL. Further, we provide a distribution of PRISM that links Rabinizer
Jan Křetínský +3 more
semanticscholar +3 more sources
The graph structure of a deterministic automaton chosen at random [PDF]
Random Structures & Algorithms, 2016 AbstractAnn‐state deterministic finite automaton over ak‐letter alphabet can be seen as a digraph withnvertices which all haveklabeled out‐arcs. Grusho (Publ Math Inst Hungarian Acad Sci 5 (1960), 17–61). proved that whp in a randomk‐out digraph there is a strongly connected component of linear size, i.e., a giant, and derived a central limit theorem ...
Xing Shi Cai, Luc Devroye
semanticscholar +5 more sources
One Drop of Non-Determinism in a Random Deterministic Automaton [PDF]
Symposium on Theoretical Aspects of Computer Science, 2023 Every language recognized by a non-deterministic finite automaton can be recognized by a deterministic automaton, at the cost of a potential increase of the number of states, which in the worst case can go from n states to 2ⁿ states. In this article, we investigate this classical result in a probabilistic setting where we take a deterministic automaton
Arnaud Carayol +3 more
semanticscholar +6 more sources
Integrability of a deterministic cellular automaton driven by stochastic boundaries [PDF]
Journal of Physics A: Mathematical and Theoretical, 2016 We propose an interacting many-body space-time-discrete Markov chain model, which is composed of an integrable deterministic and reversible cellular automaton (the rule 54 of [Bobenko et al, CMP 158, 127 (1993)]) on a finite one-dimensional lattice Z_2^n, and local stochastic Markov chains at the two lattice boundaries which provide chemical baths for ...
Tomaž Prosen, Carlos Mejía-Monasterio
semanticscholar +6 more sources
Construction of a Minimal Deterministic Finite Automaton from a Regular Expression
International Journal of Computer Applications, 2011 This paper describes a method for constructing a minimal deterministic finite automaton (DFA) from a regular expression. It is based on a set of graph grammar rules for combining many graphs (DFA) to obtain another desired graph (DFA). The graph grammar rules are presented in the form of a parsing algorithm that converts a regular expression R into a ...
Sanjay Bhargava, G. N. Purohit
semanticscholar +3 more sources
A deterministic sandpile automaton revisited [PDF]
The European Physical Journal B, 2000 The Bak-Tang-Wiesenfeld (BTW) sandpile model is a cellular automaton which has been intensively studied during the last years as a paradigm for self-organized criticality. In this paper, we reconsider a deterministic version of the BTW model introduced by Wiesenfeld, Theiler and McNamara, where sand grains are added always to one fixed site on the ...
S. Lübeck +2 more
openalex +4 more sources
Exact large deviation statistics and trajectory phase transition of a deterministic boundary driven cellular automaton [PDF]
Physical Review E, 2019 We study the statistical properties of the long-time dynamics of the rule 54 reversible cellular automaton (CA), driven stochastically at its boundaries.
Berislav Buča +3 more
openalex +3 more sources
Four State Deterministic Cellular Automaton Rule Emulating Random Diffusion [PDF]
, 2022 11 pages, 5 figures. Video demo at http://hdl.handle.net/10464/18210 , files defining the 2D rule in golly .rule format at http://hdl.handle.net/10464 ...
Henryk Fukś
openalex +3 more sources
Two-dimensional Deterministic Cellular Automaton Traffic FI Model [PDF]
Advances in Economics, Business and Management Research, 2015 Based on cellular automaton traffic BML model, one-dimensional traffic Fukui-Ishibashi(FI)model is extended to urban traffic network. The two-dimensional FI model is proposed. Under the conditions of periodic boundary, the relationship of the average speed and the density of the traffic as well as the fundamental diagram of the traffic for size of ...
F. W. Yang +3 more
openalex +2 more sources
Exploration of Convex Terrains by a Deterministic Automaton with Pebbles
Colloquium on Structural Information & Communication ComplexityMohamed Anouar Baaziz, Andrzej Pelc
semanticscholar +4 more sources