Issue No. 10 - October (1991 vol. 40)

ISSN: 0018-9340

pp: 1087-1093

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.93741

ABSTRACT

<p>The local testability problem of deterministic finite automata is investigated. A locally testable language is a language with the property that, for some nonnegative integer k, whether or not a word w is in the language depends on (1) the prefix and suffix of w of length k, and (2) the set of substrings of w length k+1, without regard to the order in which these substrings occur. The local testability problem is, given a deterministic finite automation, to decide whether or not it accepts a locally testable language. The authors present an O(n/sup 2/) time algorithm for the local testability problem based on two simple properties that characterize locally testable automata.</p>

INDEX TERMS

polynomial time algorithm; local testability; deterministic finite automata; locally testable language; nonnegative integer; word; prefix; suffix; substrings; computational complexity; deterministic automata; finite automata; formal languages.

CITATION

R. McNaughton, S.M. Kim, R. McCloskey, "A Polynomial time Algorithm for the Local Testability Problem of Deterministic Finite Automata",

*IEEE Transactions on Computers*, vol. 40, no. , pp. 1087-1093, October 1991, doi:10.1109/12.93741