Reducing the Time Complexity of Testing for Local Threshold Testability
A locally threshold testable language L is a language with the property that for some nonnegative integers k and l, whether or not a word u is in the language L depends on (1) the prefix and suf- fix of the word u of length k − 1 and (2) the set of intermediate substrings of length k of the word u where the sets of substrings occurring at least j times are the same, for j ≤ l. For given k and l the language is called l-threshold k-testable. A finite deterministic automaton is called threshold locally testable if the automaton accepts a l-threshold ktestable language for some l and k.
New necessary and sufficient conditions for a deterministic finite automaton to be locally threshold testable are found. On the basis of these conditions, we modify the algorithm to verify local threshold testability of the automaton and reduce the time complexity of the algorithm. The algorithm is implemented as a part of C/C ++ package TESTAS (testability of automata and semigroups).
KeywordsAutomaton threshold locally testable graph algorithm
Unable to display preview. Download preview PDF.
- D. Beauquier, J.E. Pin, Factors of words, Lect. Notes in Comp. Sci., Springer, Berlin, 372(1989), 63–79.Google Scholar
- R. McNaughton, S, Papert, Counter-free Automata M. I. T. Press. Mass., 1971.Google Scholar
- A.N. Trahtman, A package TESTAS for checking some kinds of testability. Proc. of 7-th Int. Conf. on Implementation and Application of Automata. Tours, France, July 3–5, 2002, 223–227.Google Scholar
- E. Vidal, F. Casacuberta, P. Garcia, Grammatical inference and automatic speech recognition. In Speech Recognition and Coding, Springer, 1995, 175–191.Google Scholar
- Th. Wilke, Locally threshold testable languages of infinite words, Lect. Notes in Comp. Sci., Springer, Berlin, 665(1993), 63–79.Google Scholar