-
1
-
2
-
3
Linguistic Automaton Today
Published 1994-06-01“…This model, named the linguistic automaton /LA/, is a complex of hardware, software lingware /linguistic means of support/ and CALL-ware. …”
Get full text
Article -
4
-
5
LTL Verification of Automaton Programs
Published 2007-03-01“…In the paper one of approaches to modelling, specification and verification of automaton programs are considered. The automata programming technology is effective enough in design and verification (the analysis of correctness) software for reactive and controlling systems. …”
Get full text
Article -
6
Verification of Synchronous-automaton Programs
Published 2007-12-01“…This article presents a synchronous model of the automaton program. A technique of verification of synchronous-automaton programs has been developed. …”
Get full text
Article -
7
Synchronous model of automaton program
Published 2007-03-01“…This article presents a model of automaton program that satisfies synchronous model requirements. …”
Get full text
Article -
8
Efficient Construction of the Equation Automaton
Published 2021-08-01“…This paper describes a fast algorithm for constructing directly the equation automaton from the well-known Thompson automaton associated with a regular expression. …”
Get full text
Article -
9
On languages of automaton counter machines
Published 2010-06-01“…We prove that an empty language problem and a word recognition problem are decidable for automaton counter machines, but inclusion and equivalence problems are not decidable. …”
Get full text
Article -
10
Vector Model Cyclogram Machine-Automaton
Published 2010-03-01“…Vector model cyclogram machine-automaton reveals the most loaded mechanisms characteristics are entered into a dynamic model for the accurate solution of the specific task.…”
Get full text
Article -
11
An Enhanced Photonic Quantum Finite Automaton
Published 2021-09-01“…In our analysis, we also take into account how detector dark counts may affect the performance of the automaton.…”
Get full text
Article -
12
Synthesis of a combined automaton with ASIC
Published 2020-07-01Subjects: “…combined automaton…”
Get full text
Article -
13
A Particular Universal Cellular Automaton
Published 2009-06-01“…We obtain a high-level construction for a new smallest intrinsically universal cellular automaton with 4 states.…”
Get full text
Article -
14
-
15
-
16
Hopcroft's automaton minimization algorithm and Sturmian words
Published 2008-01-01Get full text
Article -
17
Modelling of the Dendritic Crystallization by the Cellular Automaton Method
Published 2016-03-01“…A numerical model of binary alloy crystallization, based on the cellular automaton technique, is presented. The model allows to follow the crystallization front movement and to generate the images of evolution of the dendritic structures during the solidification of a binary alloy. …”
Get full text
Article -
18
Lattice–Gas–Automaton Modeling of Income Distribution
Published 2020-07-01Subjects: “…lattice gas automaton…”
Get full text
Article -
19
On a reachability set of automaton counter machines
Published 2010-03-01“…Properties of automaton counter machines are investigated. We prove that reachability sets of automaton one-counter machines are semilinear. …”
Get full text
Article -
20
Intuitionistic Fuzzy Automaton for Approximate String Matching
Published 2014-03-01Subjects: “…Intuitionistic fuzzy automaton…”
Get full text
Article