{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:26Z","timestamp":1725493586248},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405610"},{"type":"electronic","value":"9783540450894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45089-0_14","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T03:27:35Z","timestamp":1193455655000},"page":"141-149","source":"Crossref","is-referenced-by-count":0,"title":["Reducing the Time Complexity of Testing for Local Threshold Testability"],"prefix":"10.1007","author":[{"given":"Avraham","family":"Trakhtman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"14_CR1","first-page":"63","volume-title":"Lect. Notes in Comp. Sci.","author":"D. Beauquier","year":"1989","unstructured":"D. Beauquier, J.E. Pin, Factors of words, Lect. Notes in Comp. Sci., Springer, Berlin, 372(1989), 63\u201379."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0012-365X(73)80005-6","volume":"4","author":"J.A. Brzozowski","year":"1973","unstructured":"J.A. Brzozowski, I. Simon, Characterizations of locally testable events, Discrete Math., 4(1973), 243\u2013271.","journal-title":"Discrete Math."},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/BFb0031380","volume":"1436","author":"P. Caron","year":"1998","unstructured":"P. Caron, LANGAGE: A Maple package for automaton characterization of regular languages, Springer, Lect. Notes in Comp. Sci., 1436(1998), 46\u201355.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0304-3975(98)00332-6","volume":"242","author":"P. Caron","year":"2000","unstructured":"P. Caron, Families of locally testable languages, Theoret. Comput. Sci., 242(2000), 361\u2013376.","journal-title":"Theoret. Comput. Sci."},{"issue":"N10","key":"14_CR5","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1109\/12.93741","volume":"40","author":"S. Kim","year":"1991","unstructured":"S. Kim, R. McNaughton, R. McCloskey, A polynomial time algorithm for the local testability problem of deterministic finite automata, IEEE Trans. Comput., 40(1991) N10, 1087\u20131093.","journal-title":"IEEE Trans. Comput."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1137\/S0097539791216987","volume":"23","author":"S. Kim","year":"1994","unstructured":"S. Kim, R. McNaughton, Computing the order of a locally testable automaton, SIAM J. Comput., 23(1994), 1193\u20131215.","journal-title":"SIAM J. Comput."},{"key":"14_CR7","unstructured":"R. McNaughton, S, Papert, Counter-free Automata M. I. T. Press. Mass., 1971."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/BFb0054072","volume":"1433","author":"J. Ruiz","year":"1998","unstructured":"J. Ruiz, S. Espana, P. Garcia, Locally threshold testable languages in strict sense: Application to the inference problem. Springer, Lect. Notes in Comp. Sci., 1433(1998), 150\u2013161.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"R.E. Tarjan, Depth first search and linear graph algorithms, SIAM J. Comput., 1(1972), 146\u2013160. J. of Comp. System Sci., 25(1982), 360\u2013376.","journal-title":"SIAM J. Comput."},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218196799000035","volume":"9","author":"A.N. Trahtman","year":"1998","unstructured":"A.N. Trahtman, A polynomial time algorithm for local testability and its level. Int. J. of Algebra and Comp., vol. 9,1(1998), 31\u201339.","journal-title":"Int. J. of Algebra and Comp."},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-44669-9_33","volume":"2138","author":"A.N. Trahtman","year":"2001","unstructured":"A.N. Trahtman, Piecewise and local threshold testability of DFA. Fundam. of Comp. Theory, Riga, Springer, Lect. Notes in Comp. Sci., 2138 (2001), 347\u2013358.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"14_CR12","unstructured":"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\u20135, 2002, 223\u2013227."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"E. Vidal, F. Casacuberta, P. Garcia, Grammatical inference and automatic speech recognition. In Speech Recognition and Coding, Springer, 1995, 175\u2013191.","DOI":"10.1007\/978-3-642-57745-1_27"},{"key":"14_CR14","first-page":"63","volume-title":"Lect. Notes in Comp. Sci.","author":"Th. Wilke","year":"1993","unstructured":"Th. Wilke, Locally threshold testable languages of infinite words, Lect. Notes in Comp. Sci., Springer, Berlin, 665(1993), 63\u201379."},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1142\/S0218196793000287","volume":"3","author":"Th. Wilke","year":"1993","unstructured":"Th. Wilke, An algebraic theory for regular languages of finite and infinite words, Int. J. Alg. and Comput., 3(1993), 4, 447\u2013489.","journal-title":"Int. J. Alg. and Comput."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45089-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T11:03:44Z","timestamp":1551006224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45089-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405610","9783540450894"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45089-0_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}