转变的核心是称为有穷(有限)自动机(finite automata)的表示方法。这些自动机在本质上是与状态转化图类似的图。有穷(有限)自动机判别输入串的类型;分为NFA(Nondeterministic Finite Automata)和DFA(Deterministic Finite Automata),是有限个状态以及在这些状态之间的转移和动作等行为的数学模型。 因为这两个缩写也好,中...
Paquette, Black hole search and exploration in unoriented tori with synchronous scattered finite automata, in: Proceedings of the 16th International Conference... EuripidesMarkou,MichelPaquette - Springer Berlin Heidelberg 被引量: 9发表: 2012年 Black hole solutions in heterotic string theory on a toru...
Presburger Arithmetic: From Automata to Formulas More precisely, we present algorithms that take as input a finite-automaton representing a Presburger definable set S and compute in polynomial time the ... B Latour,Louis 被引量: 0发表: 0年 Robust Low-rank Tensor Recovery: Models and Algorithms...
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...
FALA Finite Action-set Learning Automata FC Fully-Connected Layers where all the inputs from one layer are connected to every activation unit of the next layer. FC-CNN Fully Convolutional Convolutional Neural Network A neural network that only performs convolution (and subsampling or upsampling) op...
(2023). Mata, a Fast and Simple Finite Automata Library. In Proc. of TACAS'24, volume 14571 of LNCS, pages 130-151, 2024. Springer. Chocholatý, D., Fiedor, T., Havlena, V., Holík, L., Hruška, M., Lengál, O., Síč, J.: A replication package for reproducing the ...
Repeated Games with Finite Automata The paper examines the asymptotic behavior of the set of equilibrium payoffs in a repeated game when there are bounds on the complexity of the strategies p... E Ben-Porath - 《Journal of Economic Theory》 被引量: 180发表: 1993年 Strategy Logic We introduc...
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...
axis of the indicatri axischopperblade axisoffolding axisymmetric nozzle axisymmetricfiniteele axix of strain gauge axle ring axle shift fork axle stability axleplanetary gear axlebox bearing axlen axlereductiongearbox axletree roller pin axo-axonic synapse axon digital design b axon guidance molecul ...
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time. It can, additionally, do set operations (union, intersection, and difference). ...