Search Results - AUTOMATA THEORY
-
1
Cryptography using Automata Theory
Published in ITM Web of Conferences (2022-01-01)Get full text
Article -
2
Automata theory in nominal sets
Published in Logical Methods in Computer Science (2014-08-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
3
Cellular automata in operational probabilistic theories
Published in Quantum (2020-07-01)“…The theory of cellular automata in operational probabilistic theories is developed. …”
Get full text
Article -
4
Coalgebraic Automata Theory: Basic Results
Published in Logical Methods in Computer Science (2008-11-01)“…We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. …”
Get full text
Article -
5
Approximate Equivalence of the Hybrid Automata with Taylor Theory
Published in Journal of Applied Mathematics (2014-01-01)Get full text
Article -
6
Finite state automata in the theory of algebraic program schemata
Published in Труды Института системного программирования РАН (2018-10-01)“…Our decision techniques are based on the approach to the equivalence checking problem for finite state automata. The aim of this paper is to reveal this relationship.…”
Get full text
Article -
7
Migrating teaching of automata theory to a digital platform
Published in South African Computer Journal (2024-12-01)Subjects: “…automata theory…”
Get full text
Article -
8
APPLICATION OF AUTOMATA THEORY TO DYNAMICAL CALCULATION OF MESHES AND MEMBRANES
Published in Nauka ta progres transportu (2010-01-01)Subjects: “…automata theory…”
Get full text
Article -
9
Automation of Algorithmic Tasks for Virtual Laboratories Based on Automata Theory
Published in EAI Endorsed Transactions on e-Learning (2016-03-01)“…In the work a description of an automata model of standard algorithm for constructing a correct solution of algorithmic tests is given. …”
Get full text
Article -
10
Edit Distance for Pushdown Automata
Published in Logical Methods in Computer Science (2017-09-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
11
Simulations for Event-Clock Automata
Published in Logical Methods in Computer Science (2024-07-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
12
Minimisation of Multiplicity Tree Automata
Published in Logical Methods in Computer Science (2017-03-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
13
Determinisability of register and timed automata
Published in Logical Methods in Computer Science (2022-05-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
14
History-Register Automata
Published in Logical Methods in Computer Science (2016-03-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
15
Logic and Branching Automata
Published in Logical Methods in Computer Science (2015-10-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
16
Inferring Symbolic Automata
Published in Logical Methods in Computer Science (2023-04-01)Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
17
Composite Neutrosophic Finite Automata
Published in Neutrosophic Sets and Systems (2020-09-01)Subjects: “…automata theory…”
Get full text
Article -
18
Mobile Learning Application for Language and Automata Theory using Android-based
Published in JOIN: Jurnal Online Informatika (2020-12-01)Subjects: “…the language and automata theory…”
Get full text
Article -
19
Hexagonal cellular automata and graph theory for procedural spatial layout generation
Published in Journal of Asian Architecture and Building Engineering (2025-10-01)Subjects: “…cellular automata…”
Get full text
Article -
20
THE APPLICATION OF GRAPH THEORY AND AUTOMATA TO SOLVE DYNAMICS PROBLEMS STEINEBACH SYSTEM
Published in Nauka ta progres transportu (2010-05-01)“…On the basis of conducted analysis of scientific literature it is noted that the theorems and algorithms used in theories of graphs and automata can serve as a basis for the refinement and development of generally accepted theories and methods in the mechanics of beam systems.…”
Get full text
Article
