{"entities":{"Q1286281":{"pageid":1297031,"ns":120,"title":"Item:Q1286281","lastrevid":68373450,"modified":"2026-04-12T23:16:24Z","type":"item","id":"Q1286281","labels":{"en":{"language":"en","value":"Real functions defined by transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1283613"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$F79A265D-D5A5-4A88-A228-B44B8FABABB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa781828eb70160164c4d3fd3eeb5dc1a74dae88","datavalue":{"value":{"text":"Real functions defined by transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1286281$282C25B5-E987-4A62-B12F-703A3B7E1C8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aa4e934e4cc7d6b0052cf6b3519a26928c4048a","datavalue":{"value":"0919.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286281$0A6FE4E6-69A6-4D04-A2F6-F8109D7D2734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6100809529ba6b8fd616df7fca214a1372be156d","datavalue":{"value":"10.1007/BF02911264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286281$B9BDE0D4-D045-4CBE-8597-82B468928133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7f0c926245832115f408aabb05006233a9ddf5","datavalue":{"value":{"entity-type":"item","numeric-id":797276,"id":"Q797276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$90345E7D-9D30-4652-AB4B-FB3B35355DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ae5a44145018d7b48ab49a06e9b6b875e9cc5f3","datavalue":{"value":{"entity-type":"item","numeric-id":1286280,"id":"Q1286280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$855411C0-59CB-411E-AA42-E88A242289CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$CCFFE4B0-51BB-48F5-A49A-2FEFAFFAD42A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1286281$61173D51-90D4-4A4E-A71F-BD2518CC99FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3535160c024a7c8a18373ef05acc4a4ee961523","datavalue":{"value":"One of the approaches to the specification of computable real functions involves \\(R\\)-transducers. These are automata with infinite input and output tapes that sequentially process binary representations of real numbers. The more general model of an \\(R^n_m\\)-transducer [see, e.g., the first author, Kibern. Sist. Anal. 1993, No. 3, 58-68 (1993; Zbl 0824.03033)] is equipped with \\(m\\) input and \\(n\\) output tapes. These machines are used to specify functions of the form \\(\\widetilde f_A: R^m\\to R^n\\). In a series of papers we investigated the capacity of finite transducers to define real functions. The present article continues these studies. In the paper cited above we constructed a finite \\(R^2_1\\)-transducer that defines a Peano curve with overlap coefficient 4. This result can be strengthened: there exists a finite \\(R^2_1\\)-transducer that defines a Peano curve with overlap coefficient 3 (Theorem 1). A Peano curve with overlap coefficient 2 does not exist [see \\textit{N. N. Luzin}, Theory of functions of a real variable (Russian) (1948; Zbl 0032.33901)].   In Kibernetika 1990, No. 2, 1-7, 25 (1990; Zbl 0752.03030), the first author constructed a finite \\(R\\)-transducer that defines a continuous nowhere differentiable function. Later it was shown [the authors, Dopov. Nats. Akad. Nauk Ukr. 1995, No. 9, 57-59 (1995)] that if a real function \\(f(x)\\) is everywhere differentiable and is defined by a finite \\(R\\)-transducer, then it is linear. Here we prove that if the function \\(f(x)\\) is everywhere differentiable and is defined by a pushdown \\(R\\)-transducer, then it is linear. We also prove an even more general result: If the function \\(f(x)\\) is everywhere differentiable and is defined by a nondeterministic pushdown \\(R\\)-transducer, then it is linear. There is an example of a function which is defined by a pushdown \\(R\\)-transducer but is not defined by a finite \\(R\\)-transducer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$FC38B402-AEB5-4024-937F-4D352D2D7DA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286281$421CC471-B79B-4D37-8ECA-8E06DB0418A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286281$4CBEAA43-563C-4A6C-AC1F-4030CC41F253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286281$99BB7844-89F2-44AD-9FDC-1B7EDAC337F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286281$1DA81FE2-406A-4D9A-A98B-D51C28E1E972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"919996431e7717d5c975c1a3c353954b5177adef","datavalue":{"value":"1283613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286281$72C8CA89-02A9-4C5F-AB33-B6B13D908BEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5120d13f9ba0c1c8e8de8d18b997803e12620d","datavalue":{"value":"differentiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$BC5F69FD-9B52-4C85-A371-9D3B1E768BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a68f1cad860d547535af262ab64b5ee5d1af5d3","datavalue":{"value":"linearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$41F9F794-405D-45B3-B68E-07A00146C2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40ec5316633945d817940e42707b32cc6c35223","datavalue":{"value":"pushdown transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$D587004F-21AD-45D2-A9A4-FC988DB5B529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7754f99d03c8e0d70ee7551479555277330b8a0","datavalue":{"value":"computable real functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$F8E992E3-9058-4C9D-A063-D46D95079256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7cd91be1f0eb8a13a20b723b923972f06d2205","datavalue":{"value":"\\(R\\)-transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$99E5B9BD-B585-4C1F-A6AD-04498EE90EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b73f14467190d730960c3c721355036bc32276d","datavalue":{"value":"binary representations of real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$6CBA84B9-6A05-413D-89F2-098943A6C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3a8582a130a77e881081b05376a381eb2657e3","datavalue":{"value":"Peano curve with overlap coefficient 3","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286281$B46E32C7-27C6-4087-921A-A260DDDAA635","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$8B48AC08-1BCA-4A37-96AF-2441085EDE48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c2a0b5edf265765d4a9424ebf464e0a123ac38","datavalue":{"value":{"entity-type":"item","numeric-id":4007467,"id":"Q4007467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$FDD48856-0622-4C1E-9408-9E8FC4F4560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1002da2d89e22f10d886b423b93240c0a458f175","datavalue":{"value":{"entity-type":"item","numeric-id":1895047,"id":"Q1895047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$F92B8B23-3946-45E6-BEFB-DCF947A1397C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8774adba3cdc06eb62ab4d1baa3ce4ebaa83c7e0","datavalue":{"value":{"entity-type":"item","numeric-id":1905144,"id":"Q1905144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$258AF146-688F-409A-A280-6A792422B3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b7b0b5516e1a317f85d84fc28f09cb373f063","datavalue":{"value":{"entity-type":"item","numeric-id":1922338,"id":"Q1922338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$00824B14-9B3D-403F-A020-F5D07133D2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5f7e3445a0ec5f6857f9b2825c5490c042c95d","datavalue":{"value":{"entity-type":"item","numeric-id":5603921,"id":"Q5603921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$D3D92FCC-6C86-430C-98B8-BA3935D24142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbe6b41a61d1be24d3f15ea1cdac96b096f844f","datavalue":{"value":{"entity-type":"item","numeric-id":5590810,"id":"Q5590810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$1F75C870-E0CA-4551-B1F5-D332C18BE70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e020e69ebc594540197db30a56a4aa411876c","datavalue":{"value":{"entity-type":"item","numeric-id":5639489,"id":"Q5639489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286281$21C0CD0B-6005-4E76-BF33-25D11B8A217A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036cfff713557c39495d49440b009777ad83999a","datavalue":{"value":{"entity-type":"item","numeric-id":1264587,"id":"Q1264587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f25a2c64369690a7af085b4942cb12a118ffb4","datavalue":{"value":{"amount":"+0.8214517831802368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1286281$F1746B36-C687-483D-9E50-10B11712C01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf7cecc76e71d7dc6608ee8d1a23615f3b7a114","datavalue":{"value":{"entity-type":"item","numeric-id":4007408,"id":"Q4007408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6a02e9c5dca87ecc28e9dd179f7070b979f7f6","datavalue":{"value":{"amount":"+0.796914279460907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1286281$036A2133-643B-49ED-955D-5381C3737486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb215a7b17a36c4246516fe6cd9bf22a880fda9e","datavalue":{"value":{"entity-type":"item","numeric-id":1607295,"id":"Q1607295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d80efa6f2ae8d5eefe3d45fec93727c01e013c","datavalue":{"value":{"amount":"+0.7845898866653442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1286281$FF00A6A9-C66F-429A-A8E7-553F8FC111BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397df78af9eb495015318814f359f9c0a5aea24d","datavalue":{"value":{"entity-type":"item","numeric-id":1968571,"id":"Q1968571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df51d11ef6a2f6a5ef5a71ab30ebf20132603623","datavalue":{"value":{"amount":"+0.7833262085914612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1286281$1EB842D9-2407-4780-B628-F864FAAE2D14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real functions defined by transducers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Real_functions_defined_by_transducers"}}}}}