{"entities":{"Q1095674":{"pageid":1106426,"ns":120,"title":"Item:Q1095674","lastrevid":69827013,"modified":"2026-04-13T10:36:50Z","type":"item","id":"Q1095674","labels":{"en":{"language":"en","value":"On generators of rational \\(\\omega\\)-power languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028936"}},"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":"Q1095674$DB4F3CFA-84BA-470E-A670-36A71261CDA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acc6168f4ed7cd68ae8e2faf25d1170454a14779","datavalue":{"value":{"text":"On generators of rational \\(\\omega\\)-power languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095674$36EDEC31-4481-45C9-A12A-1591A133AA3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"256815b91c1e0b1d588c7043f2d71daf9027b4ed","datavalue":{"value":"0632.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095674$6D66EE22-A874-43FF-9EB3-CEE68BA351FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"809549ceeaee58240645f9f4157805272fa21c88","datavalue":{"value":"10.1016/0304-3975(87)90063-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095674$078D01CB-98D5-434D-BB40-A506B99753CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"000423f7221a941b20cc323b0e6d05e010b463df","datavalue":{"value":{"entity-type":"item","numeric-id":917320,"id":"Q917320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$B26FE3F7-C37F-40CA-A91F-AAC4B36D336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c60e3e179aab4891dd7291c8fc2a654af842e99","datavalue":{"value":{"entity-type":"item","numeric-id":673631,"id":"Q673631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$B951FF3F-99DA-4429-AA09-B376EB8E1157","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":"Q1095674$9F516220-DE8C-4A65-9ED3-40AF31D29A7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095674$A7366302-2F45-4604-9C68-D5B8634C9AF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b84290bb33da61a26e9fc9dfba0b12712850b5d6","datavalue":{"value":"An \\(\\omega\\)-power of a language L is the set \\(L^{\\omega}\\) of all semi- infinite concatenations \\(w_ 1\\cdot w_ 2\\cdot..\\). of nonempty words \\(w_ i\\in L\\). The authors study for a given regular (rational) \\(\\omega\\)- language F the set of its generators \\(\\{\\) \\(L: L^{\\omega}=F\\}\\). They show that it is decidable for a regular \\(\\omega\\)-language F whether it is the \\(\\omega\\)-power of some language L and that in case \\(F=L^{\\omega}\\) there is also a regular language R such that \\(F=R^{\\omega}\\). Moreover, it is shown that for every regular \\(\\omega\\)-power F the set \\(\\{\\) \\(L: L^{\\omega}=F\\}\\) of its generators has a finite number of maximal elements each of which is regular, and any generator L of F is contained in some of these maximal generators.    Then the authors turn to minimal generators of a regular \\(\\omega\\)-power \\(L^{\\omega}\\), and they show that also the property to be a minimal generator of the \\(\\omega\\)-language \\(L^{\\omega}\\) is decidable for the regular language L. But in contrast to the case of maximal generators, there are minimal generators of regular \\(\\omega\\)-powers which are not regular. The following example settles this problem still open in the paper under review.    Example. \\(F=(b\\cdot a^*)^{\\omega}\\) has the minimal generator \\(L:=\\cup^{\\infty}_{i=0}b\\cdot a^ i\\cdot (b\\cdot a^*)^ i\\) which is, obviously, not regular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095674$42D8C89C-F041-4C48-BA01-D3980B190359","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"02bc07e7fdf69b7795d4694a59f3d739066e6204","datavalue":{"value":{"entity-type":"item","numeric-id":259038,"id":"Q259038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$68F7287D-133D-4DB0-B053-F0DDEA97EDB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095674$059B9857-141F-42FE-8573-D76D096FB587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8054c998d57a212b5d679717f81eeb95aa0fbd59","datavalue":{"value":"4028936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095674$9695FB87-C082-45B4-8AA0-F484BCDAE2C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9780fbbe3584bf9719fce902b34360caf9daf613","datavalue":{"value":"rational omega-language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095674$D06008AC-3987-445C-BBAA-FBF35E55EAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2193a097c2f332be584dd2e2a26a6d019684d704","datavalue":{"value":"\\(\\omega \\)-power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095674$690E840E-2D03-4801-8C35-5ABEE1576D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095674$27510137-8DCA-418D-9FC7-0754B7AAD53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e34228018777089714895bf88d3c084795d74b","datavalue":{"value":"regular \\(\\omega \\)- language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095674$FE9EC03F-FA31-41D8-AA51-E51AF65FA2B4","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":"Q1095674$D01448B0-92DB-47C4-BAA3-C792B0FA8574","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbd95990d49a536027c3e1106b8dc6a2998f8454","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90063-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095674$C36D9E7C-28DD-4B02-815E-8F97C6084F56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1840679c2de19c892e24fe747e9946fc27605e14","datavalue":{"value":"W1975206715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095674$7E7FA5B7-B756-45AF-BCB9-C96689F94BAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f809b829ad226aaf187e107ba4f2f8abde5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$43242150-B6DA-463E-A1F5-E17DDDD0FA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bcebe3e5e589b59809b54b4843b39a94cae5f60","datavalue":{"value":{"entity-type":"item","numeric-id":3714479,"id":"Q3714479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$1811D0CD-1359-49AE-BEB7-773ACFE24DE0","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":"Q1095674$829806FD-2D8D-4B29-A407-E89AA83B4F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$23921673-467B-4636-AA9D-D4DEBA4C892D","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":"Q1095674$3069B524-3531-4DCB-8DA0-939E79377B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e365a284ba4dbaef9d8273ca84895b8dfdef40","datavalue":{"value":{"entity-type":"item","numeric-id":1092671,"id":"Q1092671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$5CC5B28E-455A-47FB-903B-D85DE5D61A71","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":"Q1095674$34A0AA12-B25F-4404-B875-5F78C83984B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2159dd9c5a98c068eb1d54cc56d1f54410d08a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4168081,"id":"Q4168081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$E8765C37-8F6E-479F-9D05-39327F7137D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eb9cd5451ef498f2c3e8aa594c2a733c9a80e1","datavalue":{"value":{"entity-type":"item","numeric-id":3741086,"id":"Q3741086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095674$C5958BF6-E220-4C67-823F-8A82D2664CF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f42d45fff1ace9b8fff614dff5e3e0d3e76db5","datavalue":{"value":{"entity-type":"item","numeric-id":3988810,"id":"Q3988810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9957e637c4c7d5e0c85e69720f1b9f1693c4d7da","datavalue":{"value":{"amount":"+0.8377883434295654","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":"Q1095674$DF928E84-21CE-407C-82E9-F1596047B3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dd28269ad947adeac093a00bf556fe24ee85cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3086241,"id":"Q3086241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507f29c2db26f62e1f2c3a8b86b6e2e06f3bb40c","datavalue":{"value":{"amount":"+0.8344952464103699","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":"Q1095674$A87944B2-6F8D-45AF-8349-0D2FE6E594D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899cdf615c0bdc8672000271e1313d18f59b2b6d","datavalue":{"value":{"entity-type":"item","numeric-id":751290,"id":"Q751290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067fa989556abcd730eb926d7ebfd799dcb797cb","datavalue":{"value":{"amount":"+0.8241556286811829","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":"Q1095674$19DD27EA-F108-4351-9063-0DC3A4B8BB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e80589b0a6e518c1b269b79bef253478debd44","datavalue":{"value":{"entity-type":"item","numeric-id":3991292,"id":"Q3991292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4b3d2fc02182b64d1af8ab98bd1e2bb60f7fa9","datavalue":{"value":{"amount":"+0.8208173513412476","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":"Q1095674$E0C62884-B10D-4AA9-839E-103034EE6E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381e34edd3b19abec8a5cfc938d8d9d697ac40fe","datavalue":{"value":{"entity-type":"item","numeric-id":1349990,"id":"Q1349990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4456e6138c363a81a49b0f82c235c9985cdf840","datavalue":{"value":{"amount":"+0.8204118013381958","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":"Q1095674$CB091AE1-E077-4332-8D76-FB4FAB3ECE7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On generators of rational \\(\\omega\\)-power languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_generators_of_rational_%5C(%5Comega%5C)-power_languages"}}}}}