Minimization of symbolic automata

L D'Antoni, M Veanes - Proceedings of the 41st ACM SIGPLAN-SIGACT …, 2014 - dl.acm.org
Symbolic Automata extend classical automata by using symbolic alphabets instead of finite
ones. Most of the classical automata algorithms rely on the alphabet being finite, and …

ZIDS: A privacy-preserving intrusion detection system using secure two-party computation protocols

S Niksefat, B Sadeghiyan, P Mohassel… - The Computer …, 2014 - ieeexplore.ieee.org
We introduce ZIDS, a client-server solution for private detection of intrusions that is suitable
for private detection of zero-day attacks in input data. The system includes an intrusion …

A Systematic Way to LTE Testing

MT Raza, S Lu - The 25th Annual International Conference on Mobile …, 2019 - dl.acm.org
LTE test cases are standardized by 3GPP. They must be executed on every LTE-capable
device model before commercial release. In this work, we examine the LTE testing practices …

[КНИГА][B] Finite-state machine construction methods and algorithms for phonology and morphology

M Hulden - 2009 - search.proquest.com
This dissertation is concerned with finite state machine-based technology for modeling
natural language. Finite-state machines have proven to be efficient computational devices in …

Brzozowski type determinization for fuzzy automata

Z Jančić, M Ćirić - Fuzzy Sets and Systems, 2014 - Elsevier
In this paper we adapt the well-known Brzozowski determinization method to fuzzy
automata. This method gives better results than all previously known methods for …

The state minimization problem for nondeterministic finite automata: the parallel implementation of the truncated branch and bound method

B Melnikov, A Tsyganov - 2012 Fifth International Symposium …, 2012 - ieeexplore.ieee.org
In this paper we present an approach to the parallel implementation of the state minimization
problem for nondeterministic finite automata. This approach is based on the truncated …

Testing the equivalence of regular languages

M Almeida, N Moreira, R Reis - ar** lemma and determinization procedure
JRG de Mendívil, JR Garitagoitia - Fuzzy Sets and Systems, 2014 - Elsevier
The formulation of fuzzy automata allows us to select a great variety of triangular norms.
Depending on the selected triangular norm, a fuzzy automaton can accept a fuzzy language …

State elimination heuristics for short regular expressions

YS Han - Fundamenta Informaticae, 2013 - content.iospress.com
State elimination is an intuitive and easy-to-implement algorithm that computes a regular
expression from a finite-state automaton (FA). It is very hard to compute the shortest regular …

Hopcroft's algorithm and cyclic automata

G Castiglione, A Restivo, M Sciortino - … Spain, March 13-19, 2008. Revised …, 2008 - Springer
Minimization of deterministic finite automata is a largely studied problem of the Theory of
Automata and Formal Languages. It consists in finding the unique (up to isomorphism) …