{"entities":{"Q1179180":{"pageid":1189929,"ns":120,"title":"Item:Q1179180","lastrevid":46217440,"modified":"2025-12-24T08:19:32Z","type":"item","id":"Q1179180","labels":{"en":{"language":"en","value":"Cellular automata, \\(\\omega{} \\omega\\)-regular sets, and sofic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 24091"}},"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":"Q1179180$1248688D-D376-44BA-8C05-658C144FB424","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2cf875c1f8ca9ab45475db5a7c3ea48391c03d6","datavalue":{"value":{"text":"Cellular automata, \\(\\omega{} \\omega\\)-regular sets, and sofic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179180$8FB2E74B-0DCC-471D-A441-6FB7BABB3799","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c96d993796af4fb83caca0737444db13cb78add","datavalue":{"value":"0743.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179180$036AA736-2E71-42B7-B506-8B55CDC682F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a112dd8f89a42532690d90a5ccd05d66797327f","datavalue":{"value":"10.1016/0166-218X(91)90094-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179180$827452CA-E0F6-462E-8528-DADEA995968C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b50d9d925c1d915b90d3836e3c8221c58fe283","datavalue":{"value":{"entity-type":"item","numeric-id":582130,"id":"Q582130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$8EC66B26-9C65-42C0-87D2-C46344532E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f143d75162aea6d3b09de1ba925afc74ef470da4","datavalue":{"value":{"entity-type":"item","numeric-id":418765,"id":"Q418765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$813D7C98-C073-4BEB-A021-28F38535E7D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$8C53E7FB-25C5-4F44-BF69-AB286608B47B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179180$FE7EC527-F741-4A03-8F97-FC47FA4098AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ef9352fe2685ccbdbb1ad16bef57a0dc67a0036","datavalue":{"value":"Several mechanisms for defining sets of biinfinite words (\\(\\omega\\omega\\)- languages) namely \\(\\omega\\omega\\)-finite automata, adherences of regular languages and sofic systems are investigated and compared. It is shown that \\(C\\subseteq S^ Z\\) is a sofic system iff \\(C\\) is the adherence of a regular language, iff \\(C\\) is a topologically closed \\(\\omega\\omega\\)- regular set. This paper also gives another complete proof of the closure of the \\(\\omega\\omega\\)-regular sets under \\(\\omega\\omega\\)-rational relations and under Boolean operations. Finally, Hurd's conjecture on bi- extensible subsets of languages is disproved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179180$DDAFDC84-0752-4633-8453-6049533B08B8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"488d048a8186245364a15937ead16119e53adf2e","datavalue":{"value":{"entity-type":"item","numeric-id":1176062,"id":"Q1176062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$2C059F89-0D0B-432A-BA5C-1377B18F32FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179180$0C17E1C8-098B-45DC-BC46-7B4AFE8EA28A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd756df2231d1f44291c601842e6988089d117b9","datavalue":{"value":"24091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179180$27482E8E-9A12-498A-BF2B-026759A88FC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2d5e7ea7e3b4582ab01b82b766b4e966beb02b","datavalue":{"value":"biinfinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179180$A3FC86DE-790D-4120-B5B1-248DF6E3F466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4349c0fff55996179079d641d4db1e29123383e","datavalue":{"value":"adherences of regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179180$DF4BBFBD-6A75-476D-8980-D01318257A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8164a19438060a53eee668fcfa357a09c151eab","datavalue":{"value":"sofic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179180$B943DBDB-D93E-4537-9A69-EE9860394D1B","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":"Q1179180$81CFE300-4060-4268-9EE1-E09F331779C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b0b626f185b157a198fc727e2b91261f695dda","datavalue":{"value":{"entity-type":"item","numeric-id":3802629,"id":"Q3802629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$81AA3063-58C5-4A22-AF36-70CA2DF3973A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2efe5d53e09457190c8fba3c20103dbba59050","datavalue":{"value":{"entity-type":"item","numeric-id":4720793,"id":"Q4720793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$7117BE29-2503-4DD9-9C77-919CD0A2D8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$1FD9EA61-50BC-4930-9991-6662D2D73BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$7F53F9CE-0E2F-4F5C-AAC3-6B543DFDD653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606a1ba0b25e8d1bacb0f033a5b4ac81479cf171","datavalue":{"value":{"entity-type":"item","numeric-id":1157971,"id":"Q1157971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$DB3BB337-0CF3-4F9B-B234-6148F0E11892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472a0ae6d0d60b375a55d867df1f0d57c07d82c8","datavalue":{"value":{"entity-type":"item","numeric-id":4100724,"id":"Q4100724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$88AC1EAB-C932-4944-8609-BB963B019AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82154e66a2e8fea69e3328eced4f67343c9f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1214411,"id":"Q1214411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$F1DF88BA-931C-4179-BE2F-1292957EE7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$89A0A417-137C-4044-8D98-A7496DE227DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c5d18b55600060c01f0e98683fd48a87b2d34f","datavalue":{"value":{"entity-type":"item","numeric-id":3925892,"id":"Q3925892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$2E5AAD47-9614-4556-8140-C0DA1724A40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1f13456cf4790d4237cd758f113cf94047c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":3033336,"id":"Q3033336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$D938D395-D614-401C-A480-A99E21E72B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$C73FF9FA-8E0E-4C5B-86A0-DD332C4C870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8c6cb15f357ba101d8d6ec27192ad1e68289e0","datavalue":{"value":{"entity-type":"item","numeric-id":3687738,"id":"Q3687738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$1FA53F56-BFE6-469E-BBB1-C6CCD56EF881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$C2CDC601-C430-4BD2-8891-6F8448F37574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8a9f38ced0b2a93a1a18aa61888288327b2eff","datavalue":{"value":{"entity-type":"item","numeric-id":3802661,"id":"Q3802661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$0B818CF2-F273-4B9E-8103-044DDD57B487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$E7273244-5B21-4DBF-97C6-AF3245953BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$780BC740-2A41-4CF3-B7E2-692573EF26E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$15820262-9AE0-4316-8FD3-4ECB5928E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cafae0091482977c83cf2faf328d162bef67106","datavalue":{"value":{"entity-type":"item","numeric-id":3756537,"id":"Q3756537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$D3EE2EEC-8737-42CD-A803-006762D20242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2bf3082abcd0e5e2ce112de820b807894c4d9ae","datavalue":{"value":{"entity-type":"item","numeric-id":1822512,"id":"Q1822512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$939C8CC2-F5EF-467C-8814-F9056785944F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3767e2066b5b19adc44c781d6fb4eda44cd95c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1263995,"id":"Q1263995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$EC775CA3-4157-4308-88D9-0321068010C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba3406cb2e9f31c4c080075755a19de1a0fbe18","datavalue":{"value":{"entity-type":"item","numeric-id":5614656,"id":"Q5614656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$DC52D468-5716-4AB7-9D65-CD2A17E8B076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$5FE2E451-B9CD-4549-A328-47E296691214","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":"Q1179180$F0D7FA32-0FD8-4C98-AACA-78D064236261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5310a3d2972abc22dd6f24af0a9f81df7da6d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3739877,"id":"Q3739877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$3D216F93-7508-41DA-97A9-1898E308CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff69c7cfcb0aef90a308a1104a7593c709d9c033","datavalue":{"value":{"entity-type":"item","numeric-id":3675526,"id":"Q3675526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$8D868C40-AA19-41BC-A141-665AD4825939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdc95f618667ad2cc6eef9ec3b6eb6bf972529f","datavalue":{"value":{"entity-type":"item","numeric-id":1072705,"id":"Q1072705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$4F04D1D8-BAF8-4D97-A8FC-DEA5F8AF6348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38198fa33366c141c402b50653a2ab1ed2517c64","datavalue":{"value":{"entity-type":"item","numeric-id":4491293,"id":"Q4491293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179180$82B20C83-84A2-47D5-BEF5-E24BF49AEF0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627334643e939be973014e037dff3bc26e7f4423","datavalue":{"value":{"entity-type":"item","numeric-id":3692897,"id":"Q3692897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326ccc14ededfb8bef84eb40a34aba6b10d6c51e","datavalue":{"value":{"amount":"+0.7558623552322388","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":"Q1179180$CAF1B91A-DDEB-4B97-A71D-9A739EC76398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929153ff491fcaf6f745fc23a37158f8ebe09d16","datavalue":{"value":{"entity-type":"item","numeric-id":807036,"id":"Q807036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f25a43d1ccf4db836aa75aadbd3976cb2a879e","datavalue":{"value":{"amount":"+0.7531337141990662","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":"Q1179180$76C52BEC-9E81-49A7-BFE0-FD045D7FE07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c955c4f01f76502d635bc8b19b764fbac3793fa","datavalue":{"value":{"entity-type":"item","numeric-id":3210195,"id":"Q3210195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8398cd7fb19f4727b40a2ad48cadefc9b51301e1","datavalue":{"value":{"amount":"+0.7530485391616821","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":"Q1179180$D7F5AFA0-4902-47A1-9F64-F8E020095A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cecc6797724e771b32e835de4dc2ba5c597c936f","datavalue":{"value":{"entity-type":"item","numeric-id":3756537,"id":"Q3756537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6a28a52e2f51614197b5f241d1c1eae0b5ff01","datavalue":{"value":{"amount":"+0.7468317151069641","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":"Q1179180$9DEE197A-4905-4F75-87A0-58922585FD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c086e17af8111efcf3ebaf3af821b36ccf727e","datavalue":{"value":{"entity-type":"item","numeric-id":3777489,"id":"Q3777489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67713f016943ea2f2dad291aa484de7ee44552c4","datavalue":{"value":{"amount":"+0.7413681745529175","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":"Q1179180$9B6B8FCC-7DBA-46DB-8DB4-E204758089DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1179180","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1179180"}}}}}