Filters

60,501 Hits in 3.2 sec

### Applications of Symbolic Finite Automata [chapter]

Margus Veanes
2013 Lecture Notes in Computer Science
We show how symbolic finite automata enable applications ranging from modern regex analysis to advanced web security analysis, that were out of reach with prior methods.  ...  In our approach we use state-of-the-art constraint solving techniques for automata analysis that are both expressive and efficient, even for very large and infinite alphabets.  ...  5] and extended finite automata [12] .  ...

### Finite-State Automata on Infinite Inputs [chapter]

2012 Modern Applications of Automata Theory
This paper is a self-contained introduction to the theory of finite-state automata on infinite words.  ...  In recent years, there has been renewed interest in these automata because of the fundamental role they play in the automatic verification of finite-state systems.  ...  We begin by eliminating nested applications of the successor function.  ...

### Finite Automata and the Analysis of Infinite Transition Systems [chapter]

Wolfgang Thomas
2012 Modern Applications of Automata Theory
A Language-Theoretic View of Verification 149 Kamal Lodaya 6.  ...  Finite-State Automata on Infinite Inputs 45 Madhavan Mukund 3. Basics on Tree Automata 79 Christof Lading 4. Part II: Verification 5.  ...

### An Introduction to Finite Automata and their Connection to Logic [chapter]

Howard Straubing, Pascal Weil
2012 Modern Applications of Automata Theory
This introductory chapter is a tutorial on finite automata.  ...  We conclude with an introduction to the syntactic monoid, and as an application give a proof of the equivalence of first-order definability and aperiodicity.  ...  In Section 1. 4 we prove what might well be described as the two fundamental theorems of finite automata: that the languages recognized by finite automata are exactly those definable by sentences of  ...

### Automata finiteness criterion in terms of van der Put series of automata functions

V. Anashin
2012 P-Adic Numbers, Ultrametric Analysis, and Applications
In the paper we prove a criterion for finiteness of the number of states of automaton in terms of van der Put series of the automaton function.  ...  In the paper we develop the p-adic theory of discrete automata.  ...  For application of the non-Archimedean methods to automata and formal languages see expository paper [10] and references therein; for applications to automata and group theory see [6, 5] .  ...

### Conversion of Finite Automata to Fuzzy Automata for string comparison

Dr. V.Ramaswamy, H. A. Girijamma
2012 International Journal of Computer Applications
In this paper, a method has been presented to convert finite automaton to fuzzy automaton as fuzzy automaton is better than finite automaton for strings comparison when individual levels of similarity  ...  for particular pairs of symbols or sequences of symbols are defined.  ...  Fuzzy automata are more useful in performing comparison operations unlike finite automata which cannot decide how close two given strings are.  ...

### On the state complexity of semi-quantum finite automata

Shenggen Zheng, Jozef Gruska, Daowen Qiu
2014 RAIRO - Theoretical Informatics and Applications
Some of the most interesting and important results concerning quantum finite automata are those showing that they can recognize certain languages with (much) less resources than corresponding classical  ...  finite automata Amb98,Amb09,AmYa11,Ber05,Fre09,Mer00,Mer01,Mer02,Yak10,ZhgQiu112,Zhg12.  ...  The first and second authors acknowledge support of the Employment of Newly Graduated Doctors of Science for Scientific Ex-  ...

### Application of Pseudo-Memory Finite Automata for Information Encryption

Gulmira Shakhmetova, Zhanat Saukhanova, Nur Izura Udzir, Altynbek Sharipbay, Nurgazy Saukhanov
2021 International Workshop on Intelligent Information Technologies & Systems of Information Security
For a better understanding of the application of this type of finite automata in cryptography, the authors demonstrated an example of their application for encryption and decryption of information.  ...  According to the research carried out, it can be noted that in existing cryptosystems, finite automata of various types are used: finite automata of a general form, structural automata, finite automata  ...  of the invertibility of finite automata.  ...

### Corrigendum to "Another approach to the equivalence of measure-many one-way quantum infinite automata and its application" [J. Comput. Syst. Sci. 78 (3) (2012) 807–821]

Tianrong Lin
2015 Journal of computer and system sciences (Print)
As an application of the approach, we utilize it to address the equivalence problem of Enhanced one-way quantum finite automata (E-1QFAs) introduced by Nayak [Proceedings of the 40th Annual IEEE Symposium  ...  In this paper, we present a much simpler, direct and elegant approach to the equivalence problem of measure many one-way quantum finite automata (MM-1QFAs).  ...  quality and the presentation of this paper.  ...

### Sampling from Stochastic Finite Automata with Applications to CTC Decoding

Martin Jansche, Alexander Gutkin
2019 Interspeech 2019
We show that path-sampling is effective and can be efficient if the epsilon-graph of a finite automaton is acyclic.  ...  Stochastic finite automata arise naturally in many language and speech processing tasks. They include stochastic acceptors, which represent certain probability distributions over random strings.  ...  Foundations Stochastic finite automata are used in many language and speech processing tasks, including speech recognition [1, 2] and synthesis [3, 4] , language [5] and pronunciation [6] modeling  ...

### Communication complexity of promise problems and their applications to finite automata [article]

Jozef Gruska, Daowen Qiu, Shenggen Zheng
2013 arXiv   pre-print
of an equivalent one-way deterministic finite automata (1DFA).  ...  Klauck [Kla00] proved, for any language, that the state complexity of exact quantum/classical finite automata, which is a general model of one-way quantum finite automata, is not less than the state complexity  ...  Number of states is a natural complexity measure for all models of finite automata and state complexity of finite automata is one of the important research fields with many applications [20] .  ...

### An application of quantum finite automata to interactive proof systems

Harumichi Nishimura, Tomoyuki Yamakami
2009 Journal of computer and system sciences (Print)
Quantum finite automata have been studied intensively since their introduction in late 1990s as a natural model of a quantum computer with finite-dimensional quantum memory space.  ...  We demonstrate strengths and weaknesses of our systems and further study how various restrictions on the behaviors of quantum-automaton verifiers affect the power of quantum interactive proof systems.  ...  The first author is grateful to Hirotada Kobayashi for a detailed presentation of his result.  ...

### Arithmetic coding of weighted finite automata

J. Kari, P. Fränti
1994 RAIRO - Theoretical Informatics and Applications
PRELEMINARIES Weighted Finite Automata (WFA) are finite automata with each edge labeled besides an input symbol also by a real number.  ...  INTRODUCTION The image compression based on Weighted Finite Automata (WFA) is a relatively efficient fractal compression method that gives good compression results.  ...

### Rulebased Knowledge Representation Inspired from Finite Automata

Nabil M. Hewahi
2011 International Journal of Computer Applications
The proposed approach is inspired from Finite Automata (FA). The inspired FA diagrams are easily used to represent rule-based system and make it more reliable structure in large complicated systems.  ...  of inputs are considered.  ...  Finite Automata Finite automata or called deterministic finite automata is a diagrammatic representation of languages, it consists of the following components [2] : a.  ...

### Adaptive E-learning using Deterministic Finite Automata

Pratima Sarkar, Chinmoy Kar
2014 International Journal of Computer Applications
Adaptive E-learning refers to adapt the way of presentation of educational material according to the student's needs.  ...  For implementing E-learning this paper uses Deterministic Finite Automata (DFA) it helps in adaptive learning.  ...  Deterministic Finite Automata has a fixed number of states and student can only be in one state at a time. In DFA transition of the states depends upon input and state.  ...
« Previous Showing results 1 — 15 out of 60,501 results