转变的核心是称为有穷(有限)自动机(finite automata)的表示方法。这些自动机在本质上是与状态转化图类似的图。有穷(有限)自动机判别输入串的类型;分为NFA(Nondeterministic Finite Automata)和DFA(Deterministic Finite Automata),是有限个状态以及在这些状态之间的转移和动作等行为的数学模型。 因为这两个缩写也好,中...
A hardware-based regular expression (RegEx) engine performs a regular expression operation on a stream of data units based on a finite automata (FA) graph. Performing includes configuring a regular expression engine of a hardware-based regular expression accelerator to, beginning at a root node in...
We propose timed (finite) automata to model the behavior of real-time systems over time. Our definition provides a simple, and yet powerful, way to annotate state-transition graphs with timing constraints using finitely many real-valued clocks. A timed automaton accepts timed words-infinite sequenc...
In this paper,a deterministic finite-state automata over unitary semirings and its reduction are defined,a method to determine whether its two states are distinguishable or not is obtained.For each deterministic finite-state automaton over a unitary semirings,there must exist a reductive finite-state...
A. B. StavrovskiiKluwer Academic Publishers-Plenum PublishersCyberneticsP. V. Gorshkov and A. B. Stavrovskii, “Finite automata over a direct product of free semigroups and groups and languages,” Kibernetika, No. 4, 16–20 (1990)....
Automata is a Python 3 library implementing structures and algorithms for manipulating finite automata, pushdown automata, and Turing machines. The algorithms have been optimized and are capable of processing large inputs. Visualization logic has also been implemented. This package is suitable for both...
Rust's regex engine uses finite automata, SIMD and aggressive literal optimizations to make searching very fast. (PCRE2 support can be opted into with the -P/--pcre2 flag.) Rust's regex library maintains performance with full Unicode support by building UTF-8 decoding directly into its ...
A three-dimensional cellular automata-crystal plasticity finite element model for predicting the multiscale interaction among heterogeneous deformation, DR... A three-dimensional cellular automata-crystal plasticity finite element model for predicting the multiscale interaction among heterogeneous deformation,DRX...
The design and implementation of the FIRE engine : a C++ toolkit for finite automata and regular expressions Watson 94a B.W. Watson, \An Introduction to the FIRE Engine: A C++ Toolkit for Finite Automata and Regular Expressions", Computing Science Note 94/21... B Watson 被引量: 0发表: ...
Decidability of some problems of linear cellular automata over finite commutative rings Inform. Process. Lett., 46 (1993), pp. 151-155 View PDFView articleView in ScopusGoogle Scholar [60] M.A. Shereshevsky Expansiveness, entropy and polynomial growth for groups acting on subshifts by automorph...