{"entities":{"Q797297":{"pageid":799145,"ns":120,"title":"Item:Q797297","lastrevid":48733483,"modified":"2026-01-05T18:00:51Z","type":"item","id":"Q797297","labels":{"en":{"language":"en","value":"Projection lemmas for \\(\\omega\\)-languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868651"}},"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":"Q797297$605DA2DC-0150-437D-AE98-BA04F26C1E79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee10a8c83e5e1620807fdae8d0997e5d5774e944","datavalue":{"value":{"text":"Projection lemmas for \\(\\omega\\)-languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797297$D4ACDECB-8AE7-4C78-9400-CB54C56BADD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61f2e234f0f6355da1d849e7ca06ed62debfccaf","datavalue":{"value":"0545.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797297$FE160D87-6491-48FB-9343-2604F935B431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e29e3614c59772c9d7ab307c5462416bc09e996f","datavalue":{"value":"10.1016/0304-3975(84)90050-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797297$FBE8A841-3508-4863-9C7B-C0BFC043CCB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2387e3951e6b46186df54cdfd5817208989946cb","datavalue":{"value":{"entity-type":"item","numeric-id":259038,"id":"Q259038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797297$07D24840-8377-4386-920C-89411D161F66","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":"Q797297$E508B21E-621E-41B1-A3A7-55712CECE7D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q797297$136B6B18-B28C-4F35-89A7-3517F8500AF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f43c7ca8e32f5bf1e812cec25e77a9a09321387b","datavalue":{"value":"The paper shows that projection lemmas in an elegant way relate the behaviours of deterministic and nondeterministic (possibly infinite- state) devices, which accept \\(\\omega\\)-languages, even in the case when the branching of the nondeterministic devices is unbounded (though finite) or countably infinite. Moreover, topological characterizations and results are obtained. To this end we regard the product topology in \\(X^{\\omega}\\) where X is a finite alphabet provided with the discrete topology. Let \\(E\\subseteq(X\\times \\{0,1\\})^{\\omega}\\) be the set of \\(\\omega\\)-words on \\(X\\times \\{0,1\\}\\) having infinitely often a one in the second component. In the paper three different notions of acceptance (e- everywhere, ae-almost everywhere, and io - infinitely often) for \\(\\omega\\)-languages are considered. Let T (\\({\\mathfrak A})\\) denote the \\(\\omega\\)-language (\\(\\alpha\\)-accepted by the (possibly infinite) automaton \\((\\alpha \\in \\{e,ae,io\\}).\\)    Projection lemmas. Let \\({\\mathfrak A}\\) be a finitely (countably) branching nondeterministic automaton over X. Then there is a deterministic automaton \\({\\mathfrak A}\\) over \\(X\\times \\{0,1\\}\\) such that \\(T_{\\alpha}({\\mathfrak A})=\\Pr T_{\\alpha}({\\mathfrak A}') (T_{\\alpha}({\\mathfrak A})=\\Pr(T_{\\alpha}({\\mathfrak A}')\\cap E)).\\)    As a corollary we obtain: For every Souslin set \\(F\\subseteq X^{\\omega}\\) there is a closed set \\(F'\\subseteq(X\\times \\{0,1\\})^{\\omega}\\) such that \\(F=\\Pr(F'\\cap E).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q797297$2B312F52-12B2-4FD4-A702-58DFD9BC73AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797297$CE48DDF2-BBD1-4354-8118-5C27D9D723CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a5e383e27f2ab0d5b0fcb679c6136ba99ec905d","datavalue":{"value":"3868651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797297$0FD563A5-2BE6-42E7-956A-88740DE0B97F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04bbce591214bfb7f01e16f23a8493b5a5984c89","datavalue":{"value":"behavior of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q797297$F0A5428E-07D9-4003-9F77-0DFEC9A859DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14963b852b6992be71a69a8b2f811b936a94db4b","datavalue":{"value":"omega languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q797297$FC843AC6-A0BB-4E05-8AA0-FB26CF351783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q797297$9B6DCC11-35C3-47CE-A63D-132F3D034303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fadfbbfa21888366daca7207368a435c996cbe0d","datavalue":{"value":"topological characterizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q797297$BD194E19-CBDD-49B6-9012-CCD4F08C5669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ee4b3cb686a199174dd79f0bfc05d2c72fc6b7","datavalue":{"value":"acceptance","type":"string"},"datatype":"string"},"type":"statement","id":"Q797297$EEDB85C0-BF96-44BE-A106-C47F9F3CDCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5562a03b0b3631abe5dc89ac9cc22372798efd7a","datavalue":{"value":"Souslin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q797297$7A7E57D9-936B-4D98-A75D-59A4B2F0D850","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":"Q797297$F7128C84-4A3A-45AD-95AE-C50AC00ADACE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7727cfa39483f21b1243a5deae0a3dc6baa8c96f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90050-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q797297$98FC6510-53C4-4525-AA99-5971D225E5BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5585ea11db89335bbedefd6d6c0c95c46c50c0aa","datavalue":{"value":"W1987552735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797297$0579FA7B-5D01-4D4F-9338-5616097C729D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9151b9c6fd70331ede9ef9bc6f9add4e91e36cfd","datavalue":{"value":"Q125051789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797297$4C302F19-4C4D-45F2-A578-39842E7AEEB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a6102851555a11d3117eb553eff5edcbcaac74","datavalue":{"value":{"entity-type":"item","numeric-id":3662640,"id":"Q3662640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797297$27B96348-9C94-4165-832B-760CF26D394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5fe6768f3faeae0434384913a7a266aefdea8b","datavalue":{"value":{"entity-type":"item","numeric-id":5342877,"id":"Q5342877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797297$FA7C70D4-C5ED-4FA6-89FB-0B56DAF17047","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":"Q797297$045879B4-D89D-4051-9099-FFAFDC1B2C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797297$0CE13794-48BD-4BAF-8F3D-AA5095F21932","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":"Q797297$4A845649-6B7A-4491-B05B-4B3801D1464D","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":"Q797297$A1DADD82-08A2-425D-9FE9-34FBEE2EAA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e515b61368614ac6b0edec0f3e035919f61232aa","datavalue":{"value":{"entity-type":"item","numeric-id":3853613,"id":"Q3853613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797297$885EFFA9-D8BD-4E53-8009-50E9D0E251E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53a15ef638d4855ae4e6c874fb67227a0dfcf2f","datavalue":{"value":{"entity-type":"item","numeric-id":1116351,"id":"Q1116351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3800512856020fc44a9778fb74bdea55f13564","datavalue":{"value":{"amount":"+0.7635911107063293","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":"Q797297$D452A933-FE68-497E-B6AE-046DC29406E5","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":"fabc066413701b54f3b32eb426f146d0c1afac78","datavalue":{"value":{"amount":"+0.7619079351425171","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":"Q797297$7625480D-469B-4B5F-82B4-8430B7F59C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e1b5b7f6ecc3a984ba01519ed00c6a1218e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1183179,"id":"Q1183179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa75964632c55b63131df87be6fe0ed762a6df76","datavalue":{"value":{"amount":"+0.7482889294624329","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":"Q797297$77269712-FD55-42D0-BFFC-58BA137F3B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecd3a7afc979ba117f58586761a08d8608a5ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3167506,"id":"Q3167506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584a27b9d238f472e0868ec3da0ac504bf4d82db","datavalue":{"value":{"amount":"+0.747748076915741","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":"Q797297$20E4F5E3-76C4-45C0-8F1C-3A59D95715A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5660be752c5b8358eaaa636d4f92bba3284c7f","datavalue":{"value":{"entity-type":"item","numeric-id":3753512,"id":"Q3753512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ac1d9b981a545cc23f683be924c57606c1ea62","datavalue":{"value":{"amount":"+0.7443176507949829","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":"Q797297$C0F61481-CB00-4D2E-8B6E-945D018514FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:797297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:797297"}}}}}