{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:04Z","timestamp":1725663964037},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573708"},{"type":"electronic","value":"9783540480969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57370-4_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:55:41Z","timestamp":1330260941000},"page":"314-327","source":"Crossref","is-referenced-by-count":0,"title":["Thue systems and DNA \u2014 A learning algorithm for a subclass"],"prefix":"10.1007","author":[{"given":"Rani","family":"Siromoney","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. G.","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. G.","family":"Subramanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. R.","family":"Dare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"D.Angluin:Learning regular sets from queries and counter examples, Information and Computation 75, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"25_CR2","unstructured":"J.Berstel, D.Perrin: \u201cTheory of Codes\u201d, Academic press, 1985"},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0747-7171(87)80021-4","volume":"3","author":"R. Book","year":"1987","unstructured":"R.Book: Thue systems as rewriting systems, J.Symbolic Computation 3, 39\u201368 (1987)","journal-title":"J.Symbolic Computation"},{"key":"25_CR4","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF02572811","volume":"22","author":"R. Book","year":"1981","unstructured":"R.Book, C.O'Dunlaing: Thue congruences and the Church-Rosser property, Semi Group Forum 22, 325\u2013331 (1981)","journal-title":"Semi Group Forum"},{"key":"25_CR5","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0166-218X(91)90054-Z","volume":"31","author":"K. Culik II","year":"1991","unstructured":"K.Culik II, T.Harju: Splicing semigroups of dominoes and DNA, Discrete Applied Mathematics, 31, 261\u2013277 (1991).","journal-title":"Discrete Applied Mathematics"},{"issue":"6","key":"25_CR6","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF02481771","volume":"49","author":"T. Head","year":"1987","unstructured":"T.Head: Formal Language theory and DNA: An analysis of the generative capacity of specific recombinant behaviours. Bulletin of Mathematical Biology, 49(6):737\u2013759 (1987).","journal-title":"Bulletin of Mathematical Biology"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"T.Head: Splicing schemes and DNA in \u201cLindenmayer Systems (Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology)\u201d (G.Rozenberg and A.Salomaa, Eds.), Springer-Verlag 1992, 371\u2013383.","DOI":"10.1007\/978-3-642-58117-5_23"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"1052","DOI":"10.1137\/0214073","volume":"14","author":"D. Kapur","year":"1985","unstructured":"D.Kapur,P.Narendran: The Knuth Bendix completion procedure and Thue systems, Siam J.Computing, 14, 1052\u20131072 (1985).","journal-title":"Siam J.Computing"},{"key":"25_CR9","volume-title":"GenesIV","author":"B. Lewin","year":"1990","unstructured":"B.Lewin: \u201cGenesIV\u201d, Oxford University Press, Delhi 1990."},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0022-0000(85)90051-0","volume":"30","author":"P. Narendran","year":"1985","unstructured":"P.Narendran,C.O'Dunlaing,H.Rolletschek: Complexity of certain decision problems about Congruential languages, J. Comp. Syst. Sci. 30, 343\u2013358 (1985).","journal-title":"J. Comp. Syst. Sci."},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(90)90017-C","volume":"76","author":"Y. Sakakibara","year":"1990","unstructured":"Y.Sakakibara: Learning context \u2014 free grammars from structural data in polynomial time, Theor. Comp. Sci. 76, 223\u2013242 (1990).","journal-title":"Theor. Comp. Sci."},{"key":"25_CR12","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/3-540-56346-6_44","volume":"654","author":"R. Siromoney","year":"1992","unstructured":"R.Siromoney,K.G.Subramanian,V.R.Dare: Circular DNA and splicing systems, Lecture Notes in Comp.Sci.654, 1992, 260\u2013273.","journal-title":"Lecture Notes in Comp.Sci."},{"key":"25_CR13","first-page":"305","volume":"642","author":"Y. Takada","year":"1992","unstructured":"Y.Takada,R.Siromoney: On identifying DNA splicing systems from examples, Lecture Notes in Arti. Int. 642, 1992, 305\u2013319.","journal-title":"Lecture Notes in Arti. Int."},{"key":"25_CR14","unstructured":"T.Yokomori: Learning non-deterministic finite automata from queries and counter examples, \u201cMachine Intelligence\u201d Vol.13. (Furukawa, Michie and Muggleton, Eds.), Oxford University Press (in Press)."}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57370-4_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:12:10Z","timestamp":1605647530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57370-4_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573708","9783540480969"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57370-4_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}