{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T06:25:42Z","timestamp":1777703142692,"version":"3.51.4"},"reference-count":39,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2016,7,29]],"date-time":"2016-07-29T00:00:00Z","timestamp":1469750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"published-print":{"date-parts":[[2016,9]]},"abstract":"<jats:p>\n                    There are several variations of fuzzy Turing machines in the literature, many of them require a t-norm in order to establish their accepted language. This paper generalize the concept of non-deterministic fuzzy Turing machine - NTFM, replacing the t-norm operator for several aggregation functions. We establish the languages accepted by these machines, called\n                    <jats:italic>fuzzy recursively enumerable languages<\/jats:italic>\n                    or simply\n                    <jats:bold>LFRE<\/jats:bold>\n                    and show, among other results, which classes of\n                    <jats:italic>LFRE<\/jats:italic>\n                    are closed under unions and intersections.\n                  <\/jats:p>","DOI":"10.3233\/jifs-152489","type":"journal-article","created":{"date-parts":[[2016,7,29]],"date-time":"2016-07-29T11:29:11Z","timestamp":1469791751000},"page":"1795-1806","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":6,"title":["Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages"],"prefix":"10.1177","volume":"31","author":[{"given":"Antonio Diego","family":"Silva Farias","sequence":"first","affiliation":[{"name":"Federal Rural University of Semi-Arid \u2013 UFERSA, Universitary Campus of Pau dos Ferros, S\u00e3o Geraldo, Pau dos Ferros, RN, Brazil"},{"name":"Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Universitary Campus of Lagoa Nova, Natal, RN, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luiz Ranyer","family":"de Ara\u00fajo Lopes","sequence":"additional","affiliation":[{"name":"Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Universitary Campus of Lagoa Nova, Natal, RN, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjam\u00edn","family":"Bedregal","sequence":"additional","affiliation":[{"name":"Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Universitary Campus of Lagoa Nova, Natal, RN, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Regivan H.N.","family":"Santiago","sequence":"additional","affiliation":[{"name":"Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Universitary Campus of Lagoa Nova, Natal, RN, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2016,7,29]]},"reference":[{"key":"e_1_3_1_2_2","first-page":"107","article-title":"A computability on the interval space: A domain approach","author":"Bedregal B.C.","year":"1997","unstructured":"BedregalB.C., and Aci\u00f3lyB.M., A computability on the interval space: A domain approach, in: Proc XXIII Conf Latinoamericana de Inform\u00e1tica, vol I, Valpara\u00edso-Chile, 1997, pp. 107\u2013116.","journal-title":"Proc XXIII Conf Latinoamericana de Inform\u00e1tica"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2007.10.013"},{"key":"e_1_3_1_4_2","first-page":"4","article-title":"Aggregation functions: A guide for practitioners","volume":"221","author":"Beliakov G.","year":"2007","unstructured":"BeliakovG., PraderaA., and CalvoT., Aggregation functions: A guide for practitioners, Stud Fuzziness Soft Comput221 (2007), 4.","journal-title":"Stud Fuzziness Soft Comput"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1989-15750-9"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(92)90115-K"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100128"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2451692"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(87)90131-X"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.014"},{"key":"e_1_3_1_11_2","first-page":"97","article-title":"Quantum theory, the Church-Turing principle and the universal quantum computer","volume":"400","author":"Deutsch D.","year":"1985","unstructured":"DeutschD., Quantum theory, the Church-Turing principle and the universal quantum computer, Proc Roy Soc London Ser400 (1985), 97\u2013117.","journal-title":"Proc Roy Soc London Ser"},{"key":"e_1_3_1_12_2","doi-asserted-by":"crossref","unstructured":"GerlaG. Fuzzy Logic: Mathematical Tools for Approximate Reasoning Kluwer Academic Publishers Dordrecht 2001.","DOI":"10.1007\/978-94-015-9660-2"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1140641166"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0046"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.07.002"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-61-71"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19840302604"},{"key":"e_1_3_1_18_2","volume-title":"Introduction to Automata Theory","author":"Hopcroft J.E.","year":"1979","unstructured":"HopcroftJ.E., and UllmanJ.D., Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, MA, 1979."},{"key":"e_1_3_1_19_2","doi-asserted-by":"crossref","unstructured":"KlementE.P. MesiarR. and PapE. Triangular Norms Springer 8 2000.","DOI":"10.1007\/978-94-015-9540-7"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(69)90025-5"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2008.2004990"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2009.08.003"},{"key":"e_1_3_1_23_2","volume-title":"An Introduction to Formal Language and Automata","author":"Linz P.","year":"2001","unstructured":"LinzP., An Introduction to Formal Language and Automata, Jones and Bartlett Publisher, 2001."},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.28.12.535"},{"key":"e_1_3_1_25_2","first-page":"163","article-title":"Towards a fuzzy computability","volume":"6","author":"Moraga C.","year":"1999","unstructured":"MoragaC., Towards a fuzzy computability, Mathware & Soft Comput6 (1999), 163\u2013172.","journal-title":"Mathware & Soft Comput"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(00)00014-2"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035643"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.08.026"},{"issue":"2","key":"e_1_3_1_29_2","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungs problem","volume":"42","author":"Turing A.","year":"1936","unstructured":"TuringA., On computable numbers, with an application to the Entscheidungs problem, Proc Lond Math Soc42(2) (1936), 230\u2013260.","journal-title":"Proc Lond Math Soc"},{"issue":"2","key":"e_1_3_1_30_2","first-page":"544","article-title":"On computable numbers, with an application to the Entscheidungs problem","volume":"43","author":"Turing A.","year":"1937","unstructured":"TuringA., On computable numbers, with an application to the Entscheidungs problem, Proc Lond Math Soc43(2) (1937), 544\u2013546.","journal-title":"Proc Lond Math Soc"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(70)80032-8"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(76)90053-0"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.5486\/PMD.1961.8.1-2.16"},{"key":"e_1_3_1_34_2","volume-title":"Probabilistic metric spaces","author":"Schweizer B.","year":"1983","unstructured":"SchweizerB., and SklarA., Probabilistic metric spacesNorth-Holland, New York, 1983."},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"issue":"3","key":"e_1_3_1_36_2","first-page":"1","article-title":"Fuzzy Turing machines revised","volume":"21","author":"Wiedermann J.","year":"2002","unstructured":"WiedermannJ., Fuzzy Turing machines revised, Comput Artificial Intelligence21(3) (2002), 1\u201313.","journal-title":"Comput Artificial Intelligence"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.12.004"},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2012.03.001"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(68)90211-8"}],"container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JIFS-152489","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/JIFS-152489","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JIFS-152489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T09:37:59Z","timestamp":1777455479000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/JIFS-152489"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,29]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["10.3233\/JIFS-152489"],"URL":"https:\/\/doi.org\/10.3233\/jifs-152489","relation":{},"ISSN":["1064-1246","1875-8967"],"issn-type":[{"value":"1064-1246","type":"print"},{"value":"1875-8967","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,29]]}}}