{"entities":{"Q1184990":{"pageid":1195739,"ns":120,"title":"Item:Q1184990","lastrevid":66791523,"modified":"2026-04-12T12:53:07Z","type":"item","id":"Q1184990","labels":{"en":{"language":"en","value":"The Hausdorff-Kuratowski hierarchy of \\(\\omega\\)-regular languages and a hierarchy of Muller automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35367"}},"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":"Q1184990$0183AC88-B500-41FA-A96C-6E0972DE5EC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c290573538195ce880f4c739fa9e92134accb9a","datavalue":{"value":{"text":"The Hausdorff-Kuratowski hierarchy of \\(\\omega\\)-regular languages and a hierarchy of Muller automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1184990$07247629-6ECA-4381-A679-5CB5C2540AC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"893c254042668c27309d03e6c60434aab75e967e","datavalue":{"value":"0760.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184990$343AA5D9-E3C7-49F6-BE67-9F32C68ED7B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5959a25bb0209e5416fcbec717ccea7fe92f93b","datavalue":{"value":"10.1016/0304-3975(92)90342-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184990$AED19B71-448A-45FC-A73D-96683CAB7B1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18789784225700bef57266953b8b31f4555a52ab","datavalue":{"value":{"entity-type":"item","numeric-id":1038272,"id":"Q1038272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184990$A41B5167-C984-4656-85B7-8BE7B6E9E524","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":"Q1184990$F7A02261-C35A-49BE-ADAF-DC9A91836FF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1184990$05A08828-A4CF-4267-81F7-5F3ED96FA487","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad46dc742f4e85dc9ccaf5c215ef7943dfb7e031","datavalue":{"value":"Let \\(\\Sigma\\) be a finite alphabet and \\(\\Sigma^ \\omega\\) the set of infinite strings over \\(\\Sigma\\). The author gives a characterization of those \\(G_ \\delta\\) subsets of \\(\\Sigma^ \\omega\\) which are deterministic \\(\\omega\\)-regular (i.e., accepted by B\u00fcchi automata) and characterizes \\(\\omega\\)-regular languages in terms of these rational \\(G_ \\delta\\) sets. This characterization yields a hierarchy of \\(\\omega\\)-regular languages that is similar to the difference hierarchy of Hausdorff and Kuratowski for \\(\\underset\\sim\\Delta_ 3^ 0\\) sets. Both hierarchies coincide, when restricted to \\(\\omega\\)-regular languages. These results yield an effective procedure for determining the complexity of a given Muller automaton.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184990$5646CD8D-EC3D-4792-B6B8-3F1434FADAE2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c4beddb8c3a397ec1a32cde4ab4efaf5dd75967","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184990$2A97137C-B63D-4F2F-B468-2A3A6F8A9E9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184990$8A05F183-272B-431D-877D-73EAF9E23C8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47466162b04c8812862182e98e49255117a5728d","datavalue":{"value":"35367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184990$0BF9B1E7-62E5-482E-9989-428EE341A8AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a59bf6cbf3b1ff02d0fab21dd33df575eff3e52","datavalue":{"value":"complexity of Muller automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184990$C6D82C1A-8E44-437E-BD14-0E6110B7826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ff38c6fecc3f268756eed49e96f722f677a671","datavalue":{"value":"difference hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184990$BF068312-EFC6-4B4E-A9AA-94C5DF6F19A8","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":"Q1184990$D82C7E9B-F892-4507-AD49-9CC223A6468F","rank":"normal"}],"P223":[{"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":"Q1184990$AD8FB805-6086-4A3F-BC18-160404BD83A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fbe4d57ee638c21da9a8d8dbb071257ac3948c","datavalue":{"value":{"entity-type":"item","numeric-id":5541832,"id":"Q5541832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184990$0F733FCF-BAF0-4068-A131-F1C33B3B6712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184990$BB83E50F-CEDA-4107-9F19-CA4100836F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fac47b98b437363438505a8bfa0de72305ff849","datavalue":{"value":{"entity-type":"item","numeric-id":1057245,"id":"Q1057245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184990$7A72AE92-7575-4A0E-9ECD-2BF9E4664C01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd57b59c0df7a87e8f0bb1010ac00c976261a34","datavalue":{"value":{"entity-type":"item","numeric-id":1127312,"id":"Q1127312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dbfc567d3bdef9f315e78be6f0c3df3abb182b","datavalue":{"value":{"amount":"+0.8195766806602478","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":"Q1184990$E8970179-62DD-4F8F-A8A8-88F84A4ACE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac0625543f7e7465ffba5e59372fea812857cf0","datavalue":{"value":{"entity-type":"item","numeric-id":3533038,"id":"Q3533038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71198f6d8fe76d3d1602627fed3cb63e80f475f","datavalue":{"value":{"amount":"+0.7988783121109009","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":"Q1184990$70F7232E-04D9-4F69-80CF-FAD81E345D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84095c2a84c6cf9104b361251605793f11f12526","datavalue":{"value":{"entity-type":"item","numeric-id":5096737,"id":"Q5096737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91d04fc7900bdd23180bafaf6bd5f616e78bc14","datavalue":{"value":{"amount":"+0.7956650853157043","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":"Q1184990$BF34E2F2-D5C3-4E76-8517-3FA706E80A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28aea194d2bb72437ccf4c2a9a2c7320cc23fd10","datavalue":{"value":{"entity-type":"item","numeric-id":3538855,"id":"Q3538855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea003bb45e70bfd2504e244bc4b568df609de0f8","datavalue":{"value":{"amount":"+0.7934780120849609","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":"Q1184990$CA5C34DF-DF30-4D62-B9BE-1C1546E07D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343ddf02caf1f99573288f5412dcb5e52ec72e63","datavalue":{"value":{"entity-type":"item","numeric-id":5428250,"id":"Q5428250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858a0d4ca2b5e86317d8e68c53d33f142943e3be","datavalue":{"value":{"amount":"+0.7917983531951904","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":"Q1184990$7890404D-0D58-4C1C-9777-FE653CB798F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Hausdorff-Kuratowski hierarchy of \\(\\omega\\)-regular languages and a hierarchy of Muller automata","badges":[]}}}}}