{"entities":{"Q760799":{"pageid":762648,"ns":120,"title":"Item:Q760799","lastrevid":42679713,"modified":"2025-07-08T10:15:26Z","type":"item","id":"Q760799","labels":{"en":{"language":"en","value":"On the enlargement of the class of regular languages by the shuffle closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885331"}},"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":"Q760799$1404FC2B-0CE6-4A08-9A65-54BF155981F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba01c80bbdf9fca758fe7eaaec09a9089fb9c6b8","datavalue":{"value":{"text":"On the enlargement of the class of regular languages by the shuffle closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q760799$65954533-1C0A-4428-A42E-F92C9AF05091","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25747b21fe745bddbf7f1dcb92cb46487317d3c6","datavalue":{"value":"0555.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760799$8D1BBC56-4C55-4968-B9E7-4DC5293AC545","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff1618f5c287fea2e256fd57536f0c2acfc59dee","datavalue":{"value":"10.1016/0020-0190(83)90023-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760799$F0DFD6F9-3D6E-4ED6-82F4-DFDDD3785C7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0527eb4d6b60ee1f8f564f0b5442173fb58d76e","datavalue":{"value":{"entity-type":"item","numeric-id":760798,"id":"Q760798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760799$AC2994BF-A88D-4A40-AD77-04E9D2AE8045","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760799$45530650-7115-4AF4-8AE6-A0879BE4E4E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q760799$EDE68FE2-3190-4FC5-A50C-F1D52FDFFB10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ce570c43af0967dfc6a66bcc333b76124db90ee","datavalue":{"value":"The author examines the effect of adding two new operations to regular expressions: the shuffle and shuffle closure operators. These give flow expressions and pseudo-flow languages. (Flow languages are obtained when some of the symbols are interpreted as lock and signal instructions.) The original motivation for the study of flow expressions was the description of allowable interleavings of computations in a concurrent environment.    The author shows that pseudo-flow languages are properly contained in the context-sensitive languages. [Flow languages are exactly the recursively enumerable languages.] The language \\(\\{a^ nb^ nc^ n:\\) \\(n\\geq 1\\}\\) is shown to be a non-pseudo-flow language via a pumping lemma, which the author establishes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$600A8F88-0A80-4F65-ADD9-9CADA21F2FF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760799$229FBABF-8369-4ADE-A77F-829A19B1FD5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"823f13ef50231f1a9e601944a50bc5d6ebb39350","datavalue":{"value":"3885331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760799$91FDD431-5B70-425C-B958-0BD38ECC0342","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$FDAFD3F9-D8CF-440F-B731-8339FD440E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1112fb5de40d368464718ab4150dd1951dd0b8","datavalue":{"value":"shuffle","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$2D794412-0069-434F-BC60-D89A15BA3E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd76bde2c4d5a4bdde6e9ddbc2e9b9f34eee9cf","datavalue":{"value":"shuffle closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$37819809-09F7-41C6-B989-D806DE0AD9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be22ff3a24dbd4e3ff8150606b2c1baa394f7de3","datavalue":{"value":"flow expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$C2F616D2-BBA0-40A2-8ED0-13F63062FA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305b3c7b418d1c05f2b1cb23e84290d8bfcf4997","datavalue":{"value":"pseudo- flow languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$DA247E2C-34EA-48B7-BFCE-087CB65C16D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f87053827d780e0032b4952bcc25896f7d4bed","datavalue":{"value":"context-sensitive languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$EECE966B-C208-4B17-8277-27908BC797AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1af4ff6ccc37c6eefb3182e354289f7d5cfec97","datavalue":{"value":"recursively enumerable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q760799$979C11F1-A648-408E-A1B9-BF21F2D61586","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":"Q760799$2FCECEFA-F249-4A58-BA43-7713FD5F5C71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c6e91f30979d53be2e732c61e7be4b00d3eea27","datavalue":{"value":"https://doi.org/10.1016/0020-0190(83)90023-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q760799$CC5F2CA4-F737-4454-92DA-AA5B02CDFA17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58aedfb1bf7a8a69a0db783e651708ac2317cb3d","datavalue":{"value":"W2102729777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760799$D0A6BCEA-495B-4B0A-A38C-70499249C97A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760799$879610E3-B5DA-46DB-B407-4134E902B1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0382e0bd1e410eca3d97bd76be70e4bf8af669","datavalue":{"value":{"entity-type":"item","numeric-id":1151054,"id":"Q1151054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760799$F9BA7FE6-9539-48A8-A1B0-E7F325351B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6a514364685ad809c293991d2f0f3260bb9c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1146002,"id":"Q1146002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760799$CDFF80A6-9B83-41D0-BB81-ECEDBE9C36C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760799$D0D79548-E882-499A-83F5-99D38FA278CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e79c1198a5adad0b28f20fcd66d4c98012ceb6","datavalue":{"value":{"entity-type":"item","numeric-id":4162475,"id":"Q4162475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760799$0E3AC246-8449-421E-8056-55EC1ADAE33F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75c629865dd57218cdd7a2af361698aad30d090","datavalue":{"value":{"entity-type":"item","numeric-id":4217599,"id":"Q4217599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a944353ab3ab3672b527b6a08e189b99dd0f42","datavalue":{"value":{"amount":"+0.95210713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$A9A9A170-AAD1-41AE-B4F4-E2B7E47F9098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92eee32c05f840dfbb7c7ea0b88efd17e83f09a","datavalue":{"value":{"entity-type":"item","numeric-id":3499370,"id":"Q3499370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c87fce1d41dbea920be62217ef8c36aaccd5f5","datavalue":{"value":{"amount":"+0.9178124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$A3EAE93B-CEBF-45DE-8310-240CB03C4F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2695c5d8a4fbf54523684f6b639d08c19e2e2be2","datavalue":{"value":{"entity-type":"item","numeric-id":3021987,"id":"Q3021987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be26e0820196cbbb2f251d8274f59d26b39adee","datavalue":{"value":{"amount":"+0.9024615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$EDFAA1D9-B4C2-4DBC-BA30-66B8E48B8C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8721345b9208bcbff14c24ff711c6eebc7979476","datavalue":{"value":{"entity-type":"item","numeric-id":6108717,"id":"Q6108717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa492d08ac755925ab3c6f04e1b917945580a238","datavalue":{"value":{"amount":"+0.90244997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$1C33BA4F-8BE4-49DD-844C-8BAEFCFE19F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966984b61e115b2a71544868d24a6e1916b9b447","datavalue":{"value":{"entity-type":"item","numeric-id":2117662,"id":"Q2117662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8b9ed291cd7b869b87b13eca1c2e0e90aa5ac9","datavalue":{"value":{"amount":"+0.89988124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$7664C0B4-E760-47E9-B9EC-A89C0051C0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8091c488f30a3de33923988a69111d772c1c706","datavalue":{"value":{"entity-type":"item","numeric-id":3740263,"id":"Q3740263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ba90213238e51d156b22b9ce1ea97f85307aa4","datavalue":{"value":{"amount":"+0.89854074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$CC2C12C2-7123-4DB4-86B7-2072D67BCDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188bd446db100d0d49b0aa600860de9a60fbe60e","datavalue":{"value":{"entity-type":"item","numeric-id":3618571,"id":"Q3618571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5538b1f183d1e272a16c5dd545eb4d0beaadd9","datavalue":{"value":{"amount":"+0.89775044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$E1495112-E967-4D4A-9EEB-82E673FF734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19fa6dc870b8bc18532c587474cca2db27e5f2c","datavalue":{"value":{"entity-type":"item","numeric-id":2829972,"id":"Q2829972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf721dba4634d243d66fc8f4888801311ef229d","datavalue":{"value":{"amount":"+0.89437246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$C7269265-1FB1-47E7-8FA9-80843B0E8C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0f91d0bbcc182fa6a1a2897638b12f9beefad2","datavalue":{"value":{"entity-type":"item","numeric-id":6070751,"id":"Q6070751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca3d5d65fdbc891ecb2b67d808b29c5ae770887","datavalue":{"value":{"amount":"+0.8939087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760799$743DACA7-0E77-4158-9717-5B28C0484B5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:760799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:760799"}}}}}