|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| S.M. Kim, R. McNaughton, R. McCloskey, "A Polynomial time Algorithm for the Local Testability Problem of Deterministic Finite Automata," IEEE Transactions on Computers, vol. 40, no. 10, pp. 1087-1093, October, 1991. | |||
| BibTex | x | ||
| @article{ 10.1109/12.93741, author = {S.M. Kim and R. McNaughton and R. McCloskey}, title = {A Polynomial time Algorithm for the Local Testability Problem of Deterministic Finite Automata}, journal ={IEEE Transactions on Computers}, volume = {40}, number = {10}, issn = {0018-9340}, year = {1991}, pages = {1087-1093}, doi = {http://doi.ieeecomputersociety.org/10.1109/12.93741}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - A Polynomial time Algorithm for the Local Testability Problem of Deterministic Finite Automata IS - 10 SN - 0018-9340 SP1087 EP1093 EPD - 1087-1093 A1 - S.M. Kim, A1 - R. McNaughton, A1 - R. McCloskey, PY - 1991 KW - 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. VL - 40 JA - IEEE Transactions on Computers ER - | |||
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.
[1] A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms. Menlo Park, CA: Addison-Wesley, 1974.
[2] J. Brzozowski and I. Simon, Characterizations of locally testable events,"Discrete Math., vol. 4, pp. 243-271, 1973.
[3] H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, Eds., "Graph-grammars and their application to computer science," Lecture Notes in Computer Science 291, Springer-Verlag, 1986.
[4] A. Ginzburg, "About some properties of definite, reverse-definite and related automata,"IEEE Trans. Electron. Comput., vol. EC-15, pp. 806-810, 1966.
[5] J. E. Hopcroft and J. D. Ullman,Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
[6] H. Hunt and D. Rosenkrantz, "Computational parallels between the regular and context-free languages,"SIAM J. Comput., vol. 7, pp. 99-114, 1978.
[7] C. Liu, "kth order finite automaton,"IEEE Trans. Electron. Comput., vol. EC-13, pp. 738-740, 1964.
[8] R. Martin,Studies in Feedback-Shift-Register Synthesis of Sequential Machines. Cambridge, MA: M.I.T. Press, 1969.
[9] R. McNaughton, "Algebraic decision procedures for local testability,"Math. Syst. Theory, vol. 8, pp. 60-76, 1974.
[10] R. McNaughton and S. Papert,Counter-free Automata, Cambridge, MA: M.I.T. Press, 1971.
[11] P. Menon and A. Friedman, "Fault detection in iterative logic arrays,"IEEE Trans. Comput., vol. C-20, pp. 524-535, 1971.
[12] M. Minksy and S. Papert,Perceptrons. Cambridge, MA: M.I.T. Press, 1969.
[13] M. Perles, M.O. Rabin, and E. Shamir, "The theory of definite automata,"IEEE Trans. Electron. Comput., vol. EC-12, pp. 233-243, 1963.
[14] A. Rosenfeld,Picture Languages. New York: Academic, 1979.
[15] A. Rosenfeld, "Array grammars," Lecture Notes in Computer Science 291, Springer-Verlag, 1986, pp. 67-70.
[16] J. Stern, "Characterizations of some classes of regular events,"Theoret. Comput. Sci., vol. 35, pp. 17-42, 1985.
[17] J. Stern, "Complexity of some problems from the theory of automata,"Inform. Contr., vol. 66, pp. 163-176, 1985.
[18] Y. Zalestein, "Locally testable languages,"J. Comput. Syst. Sci., vol. 6, pp. 151-167, 1972.