In order to analyze some extremal cases of Hopcroft\u2019s algorithm we deepened the relationship between combinatorial properties of circular words and the ex- ecution of the algorithm on cyclic automata associated to such words.In this paper we highlight the notion of word tree and in particular, we char- acterize the word trees for which Hopcroft\u2019s algorithm on the associated tree-like automata has a unique refinement process. Moreover, we show the relationship between the time complexity of the refinements process of the Hopcroft\u2019s algo- rithm on unary cyclic automata and binary tree-like automata. Such a result allows to exhibit a family of tree-like automata representing the worst case of the algorithm
AbstractThis paper is concerned with the analysis of the worst case behavior of Hopcroft’s algorithm...
We define a new class of tree automata with constraints and prove decidability of the emptiness prob...
In this paper, we consider infinitely sorted tree algebras recognising regular language of finite tr...
In order to analyze some extremal cases of Hopcroft’s algorithm we deepened the relationship betwee...
In order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relationships be...
AbstractIn order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relation...
In this paper we consider the problem of minimization of deterministic finite automata (DFA) with re...
In this paper we consider the problem of minimization of deterministic finite automata (DFA) with re...
AbstractIn this paper we consider the problem of minimization of deterministic finite automata (DFA)...
Minimization of deterministic finite automata is a largely studied problem of the Theory of Automata...
Minimizing a deterministic finite automata (DFA) is a very important problem in theory of automata a...
In this paper we explore some connections between some combinatorial properties of words and the stu...
This paper is focused on the connection between the combinatorics of words and minimization of autom...
The study of some close connections between the combinatorial properties of words and the performanc...
International audienceThis paper is concerned with the analysis of the worst case behavior of Hopcro...
AbstractThis paper is concerned with the analysis of the worst case behavior of Hopcroft’s algorithm...
We define a new class of tree automata with constraints and prove decidability of the emptiness prob...
In this paper, we consider infinitely sorted tree algebras recognising regular language of finite tr...
In order to analyze some extremal cases of Hopcroft’s algorithm we deepened the relationship betwee...
In order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relationships be...
AbstractIn order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relation...
In this paper we consider the problem of minimization of deterministic finite automata (DFA) with re...
In this paper we consider the problem of minimization of deterministic finite automata (DFA) with re...
AbstractIn this paper we consider the problem of minimization of deterministic finite automata (DFA)...
Minimization of deterministic finite automata is a largely studied problem of the Theory of Automata...
Minimizing a deterministic finite automata (DFA) is a very important problem in theory of automata a...
In this paper we explore some connections between some combinatorial properties of words and the stu...
This paper is focused on the connection between the combinatorics of words and minimization of autom...
The study of some close connections between the combinatorial properties of words and the performanc...
International audienceThis paper is concerned with the analysis of the worst case behavior of Hopcro...
AbstractThis paper is concerned with the analysis of the worst case behavior of Hopcroft’s algorithm...
We define a new class of tree automata with constraints and prove decidability of the emptiness prob...
In this paper, we consider infinitely sorted tree algebras recognising regular language of finite tr...