Results 1 
2 of
2
Direct Building of Minimal Automaton for a Given List
"... This paper presents a method for direct building of minimal acyclic finite states automaton which recognizes a given finite list of words in lexicographical order. The size of the temporary automata which are necessary for the construction is less than the size of the resulting minimal automata plus ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
This paper presents a method for direct building of minimal acyclic finite states automaton which recognizes a given finite list of words in lexicographical order. The size of the temporary automata which are necessary for the construction is less than the size of the resulting minimal automata plus the length of one of the longest words in the list. This property is the main advantage of our method.
Direct Construction of Minimal Acyclic Finite States Automata
 Computational Linguistics
, 1998
"... This paper presents automaton construction algorithms based on the method for direct building of minimal acyclic finite states automaton for a given list [Mi98]. A detailed presentation of the base algorithm with correctness and complexity proofs is given. The memory complexity of the base algorithm ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
This paper presents automaton construction algorithms based on the method for direct building of minimal acyclic finite states automaton for a given list [Mi98]. A detailed presentation of the base algorithm with correctness and complexity proofs is given. The memory complexity of the base algorithm is O(m) and the worstcase time complexity is O(n log(m)), where n is the total number of letters in the input list, m is the size of the resulting minimal automaton. Further we present algorithms for direct construction of minimal automaton presenting the union, intersection and difference of acyclic automata. In the cases of intersection and difference only the first input automaton has to be acyclic. The memory complexity of those construction algorithms is O(m), and the time complexity is O(n log(m)) for union and O(n1 + n log(m)) for intersection and difference, where n1 is the total number of letters in the first automaton language, n is the number of all letters in the resulting aut...