{"entities":{"Q1824713":{"pageid":1835455,"ns":120,"title":"Item:Q1824713","lastrevid":71374686,"modified":"2026-04-13T21:51:25Z","type":"item","id":"Q1824713","labels":{"en":{"language":"en","value":"Codes engendrant certains syst\u00e8mes sofiques. (Codes generating certain sofic systems)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4118650"}},"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":"Q1824713$4427BA9C-5A50-4461-BD1E-4EF4AA618880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cec54905700c42b17f0db4ecd6088aa2753f3c1","datavalue":{"value":{"text":"Codes engendrant certains syst\u00e8mes sofiques. (Codes generating certain sofic systems)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1824713$6F28F6BF-7CEB-4A36-89D1-744E9F299108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fbbdadf734eeb90bc15a0908be4a6d58c65ca44","datavalue":{"value":"0683.28009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824713$5807DEBB-237C-4EC3-B38A-B9F0EBB092FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49859b3571ed9e6949aeeda81a3dc9ed70ca5284","datavalue":{"value":"10.1016/0304-3975(89)90163-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824713$6D696406-3B57-4465-A218-4255A0653195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$0F878E59-5786-4333-A9D0-54B523E8E470","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$540E391B-EC1D-4C1C-B8FB-C6263B6FF548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1824713$5542FD12-3F66-414C-AAF7-E6BABB0592B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"108ad4330b07ce021e2c95a1fdc2b0c079c8b975","datavalue":{"value":"The author defines the terms ``local code'' and ``local code with finite splitting to the left and right'' and shows that a sofic system is of finite type (respectively almost finite type) if and only if all first return codes are local (respectively local with unique splitting to the right and left).    \\textit{A. Restivo} [Inf. Control 25, 93-101 (1974; Zbl 0279.68054)] proved that finite circular codes generate subshifts of finite type. The author proves the following: (i) local codes are circular, (ii) finite local codes are identical to finite circular codes, (iii) finite codes with unique splitting are identical to finite codes with finite deciphering delay to the same side.    The paper finishes by showing that finite codes with unique splitting to the left and right generate almost finite type subshifts. This does not happen when the finiteness condition is dropped.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824713$41471722-5FA9-4047-9BBE-A143639B5A50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3450a5db34e1a7725e1951d82618aef0cabbd7ba","datavalue":{"value":"28D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824713$6F2278E1-6282-4692-8936-0D079C35A3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824713$E3301182-2ADA-48D5-A757-D26D3E245697","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b7202f76eca09b171cdbff6a7404108a6395f2","datavalue":{"value":"4118650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824713$E3F1BE3E-5E38-4540-AAE5-19B95FDEC09C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7888095a7a42c76d9aaecd3f470118c224bf6e7f","datavalue":{"value":"sofic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824713$39A5BA1C-9386-49BD-A0C3-CA934183F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81fc67d19c1c5c48e86ae698b42e5ff192fb51e","datavalue":{"value":"return codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824713$40685CBB-C83F-4FDF-A931-A70F3087B0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631bea6e155b9811cd898e965e9711a0cd8ad264","datavalue":{"value":"finite circular codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824713$E3A6BE2E-4234-4158-ADB0-24E4E9A1F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001761d70988821ac402d2bf60499c84214e22b7","datavalue":{"value":"subshifts of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824713$5221CCAC-852F-4180-9AAC-95DEFB718427","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae6110d4804c20d9d8908d8c13277c80119a687e","datavalue":{"value":{"entity-type":"item","numeric-id":421098,"id":"Q421098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$B9A05CB7-5648-4C5C-919C-5FBCA6579E3C","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":"Q1824713$C3BF4593-D855-453B-B719-ED3AC0B55838","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19267953fc2339edc9a7221cd3a0af5fed276995","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90163-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1824713$7D05B21D-6DF7-4F47-BC39-91010C071138","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2a2a01bab3ed7347bb44b6619fcd064575cf5f5","datavalue":{"value":"W2001894621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824713$02612C7D-E9C0-4FDB-9BBB-C520DA91A6BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cd874628ec711609b5db9a5105771bf7f9563d","datavalue":{"value":{"entity-type":"item","numeric-id":1081313,"id":"Q1081313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$8B317DF6-7ACE-48CF-841A-8FC30A221065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c799623c4b66af60a041ac848a3d10a9048afc","datavalue":{"value":{"entity-type":"item","numeric-id":3744432,"id":"Q3744432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$EDC38046-14B6-412B-912C-677F7B51B34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f914a0125fbfcefa866a5094ff6a5d2318079f","datavalue":{"value":{"entity-type":"item","numeric-id":4430300,"id":"Q4430300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$2272AF21-3005-40EE-8C81-F0260289127C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f99a52611318554e01deab04a7036ef31ae093c","datavalue":{"value":{"entity-type":"item","numeric-id":1226612,"id":"Q1226612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$F5C4DFC2-97A2-4EFE-8D18-DB44EFF7630E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$CF47C8B8-B68E-4100-96DA-13B657331608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35412249fa309c119bff1e16e33f1086ac75379","datavalue":{"value":{"entity-type":"item","numeric-id":1063279,"id":"Q1063279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$CA578D5A-FA3F-4CB4-BBDE-EE9D0CFEFF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72741aebe93e7555fa01a6051ec51feeebb34634","datavalue":{"value":{"entity-type":"item","numeric-id":4766057,"id":"Q4766057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$F2AED18C-0D7F-4FD1-B20F-89DEF6303D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e00595b4993de3bf99cc4a59598e75734d81d4","datavalue":{"value":{"entity-type":"item","numeric-id":908715,"id":"Q908715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$82CBC0CC-9A31-43B8-9129-AF10AEFA8265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a393dd2ac446840fd7d0b075e4d7cb62fe01275c","datavalue":{"value":{"entity-type":"item","numeric-id":1844957,"id":"Q1844957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824713$B891A323-C398-468E-A0B3-99D50C90E726","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5473dd1a3497ab6e8ba57ee71069912e5884cba","datavalue":{"value":{"entity-type":"item","numeric-id":2490804,"id":"Q2490804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22ed4f282cfb52eac8990f1c18bb404b9d12077","datavalue":{"value":{"amount":"+0.803116500377655","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":"Q1824713$21A99934-E789-4E06-8FEC-5ADDBEC29D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227706997b7d356dbfcd866a1fd21ff4a21de9c1","datavalue":{"value":{"entity-type":"item","numeric-id":5449792,"id":"Q5449792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d8da725e85f58ebca96061c8bebc1b18c3c962","datavalue":{"value":{"amount":"+0.8021827340126038","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":"Q1824713$10274DC3-8FE6-4F7D-91C5-7CEE52FDF6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d295cebc1155ee5b5833ccd3b456be7d13fe4754","datavalue":{"value":{"entity-type":"item","numeric-id":2484447,"id":"Q2484447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a422630dd11f875174c7c9469931c311b40c975","datavalue":{"value":{"amount":"+0.7991520762443542","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":"Q1824713$95E89241-395D-4E4B-BEF4-539827197B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68351f79f590c7fffd208c17f79a009f96a8cf54","datavalue":{"value":{"entity-type":"item","numeric-id":732037,"id":"Q732037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27b093d74e9f4c1a7a916b89a7ac4052718073b","datavalue":{"value":{"amount":"+0.7985401749610901","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":"Q1824713$9B36E4F5-1E9F-4DA4-BB25-B69BC763B6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac91dd3834991ce1a32d671d693bee4f646543b2","datavalue":{"value":{"entity-type":"item","numeric-id":3033349,"id":"Q3033349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a722449fb2419ef4595d43545e54badcd1efdd","datavalue":{"value":{"amount":"+0.7982763648033142","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":"Q1824713$99879E15-5DF4-4A10-9970-34DCFF0C82EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Codes engendrant certains syst\u00e8mes sofiques. (Codes generating certain sofic systems)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Codes_engendrant_certains_syst%C3%A8mes_sofiques._(Codes_generating_certain_sofic_systems)"}}}}}