{"entities":{"Q408529":{"pageid":410296,"ns":120,"title":"Item:Q408529","lastrevid":56886942,"modified":"2026-03-24T10:54:10Z","type":"item","id":"Q408529","labels":{"en":{"language":"en","value":"A bialgebraic approach to automata and formal language theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022763"}},"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":"Q408529$95FC10E3-ABF2-4E00-B5E8-2D1E2FD9E581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be06f84d4cb7c6594d56f29ba9fe07b8df6bf386","datavalue":{"value":{"text":"A bialgebraic approach to automata and formal language theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408529$2DC56A07-1E8F-4DB8-9030-E2BC5A0CDA1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43c0aac9162b7927a2fb8898a266ced2c2708718","datavalue":{"value":"1241.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408529$FBB28B07-CAC9-42E5-A4FA-46D3C5BB8CCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8910726455793299703107bf10730f18627a1980","datavalue":{"value":{"entity-type":"item","numeric-id":408528,"id":"Q408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$A8516D94-67D1-4F9A-BE99-0D78ECADF8E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$5755B4AC-7C34-4E5B-A386-A3878E873FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408529$44579AD0-CAA2-42EB-B7EE-628B99249121","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82c2c9c76218a97b36eb014ebe2ce3178d6db232","datavalue":{"value":"https://arxiv.org/abs/0807.4553","type":"string"},"datatype":"url"},"type":"statement","id":"Q408529$25E4F3BE-2B81-433D-9E75-BB8A25781A03","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b527d3a84e3a7a92c81b1c93eacb7455cface88","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$F3AB4B52-1D2E-418D-A943-CCB98EE69D2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408529$7DC70322-4061-448B-9634-7E2CC3862242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408529$341F8317-706D-4A78-98F9-CCDA6C8E2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408529$D9109B6B-F79A-4C1A-B74C-A71CFBA95489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8f585b6a443a9e7a2816e83fecc07b3b1bd267","datavalue":{"value":"6022763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408529$6A3D87DE-E098-4FB5-8BEE-D8D53CD4C17B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q408529$8BC24B55-7BAA-415F-AEE6-02F4B69F6FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1badf2e98acd66deab281042fd75e59bf02b11eb","datavalue":{"value":"bialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q408529$CC0AC09A-637E-4022-A060-93048AF5FF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f99a45217d44e733b89cc185698f893a9dcc14","datavalue":{"value":"semimodule","type":"string"},"datatype":"string"},"type":"statement","id":"Q408529$4C5B091D-67F6-419A-8C2B-812DA89A8DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q408529$472F286D-CD38-4197-AF3F-491C0578E03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e68329ce1d99be886d92ca66baff2972a1bb99","datavalue":{"value":"\\(K\\)-linear automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q408529$6EC9EED0-2223-4EDD-BE95-8726434A77CE","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":"Q408529$9F7AE9FC-B3F9-4BA3-BC67-24EBFA0C7248","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"344fed3230799dc55f101bda1095ede1de0b2ee0","datavalue":{"value":"W2083840254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408529$3FD772A6-1B82-46E5-8B48-B7D37B7217E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$63C3B5E2-DBD8-493A-BD90-00E2DE5F7DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c79b6884a650d430fce718da40a6a005b2cc8f","datavalue":{"value":{"entity-type":"item","numeric-id":4023148,"id":"Q4023148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$93A565B3-C7F1-4382-BC26-299E04BD784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$E0399BA6-51AA-4B72-894B-F019C4D52CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6544615267b7baf334791db9fd5d680e80af0c","datavalue":{"value":{"entity-type":"item","numeric-id":5958727,"id":"Q5958727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$5C816FA5-F3C1-4B8F-BEE0-0B854935CB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112505c6878d205e65e0c63436dc108b94821403","datavalue":{"value":{"entity-type":"item","numeric-id":3012364,"id":"Q3012364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$A9AC4E8C-AE7A-4C94-ABD6-CC413661E345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5cb8c322dc26c8e810c631aea33811fcdcdb8c","datavalue":{"value":{"entity-type":"item","numeric-id":5465438,"id":"Q5465438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$4817F955-407F-4EB7-8342-2D18F07A3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$2A28D0E0-970F-43E3-BB91-8DD5874332CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c8b356ee120072c4f764fb747f6545989ec6c5","datavalue":{"value":{"entity-type":"item","numeric-id":4466640,"id":"Q4466640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$F090EE2C-35B7-4593-9B98-388D5CA897E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07106259690480ba6d2b4748950c7cd4a7f93c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3991005,"id":"Q3991005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$4933374C-25BD-493D-8527-8B96E1E15B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2687724ff746b2526e73159f6d7a4b4509a35fc6","datavalue":{"value":{"entity-type":"item","numeric-id":4374821,"id":"Q4374821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$7979CB3B-4BBD-41BC-B519-9F771F93E151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$FE3AFB17-7149-440D-BEBF-27B0FE70CE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$81056502-0AA0-489A-A768-CB1DEBB8AC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42f2247dd437df325400fec7bc11811f9aaaa89","datavalue":{"value":{"entity-type":"item","numeric-id":1569761,"id":"Q1569761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$A2C0EC22-951F-4B84-9671-601D9BB8DDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7aa66693d073de4fc4013c0e70eb32de27fa6","datavalue":{"value":{"entity-type":"item","numeric-id":4857364,"id":"Q4857364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$20553E4E-B4BD-4428-A176-222EEF237B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$90A06843-D098-4E17-AF6D-0A33C2F0DF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$08E0CA4E-865C-468A-BACE-0061636B0651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9482d29bd146f3bf3f53392d54df9a9b8fc3ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3438081,"id":"Q3438081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$DB092ED1-EFDC-4847-9A69-2358B9CFA98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d134e8620c5bac0affe6f1bcc222029265ebab","datavalue":{"value":{"entity-type":"item","numeric-id":3498428,"id":"Q3498428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408529$0F98834E-5B9C-44EC-8526-6F614EC12A79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e45a45db0c7b6f82d2cac067286d5c7312560677","datavalue":{"value":"10.1016/J.APAL.2011.09.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408529$FB244D07-5B95-424A-9621-26DCF0804B22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c5f2f1cee1987c4ee8bd4f4997f1ab024deb9b","datavalue":{"value":{"entity-type":"item","numeric-id":3605547,"id":"Q3605547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$EEC8EF49-8A9A-4BEF-A9DA-79F7F4824A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4b5b2cc22db6cbb5e835e95acc7251cb23f393","datavalue":{"value":{"entity-type":"item","numeric-id":5757938,"id":"Q5757938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a53216dcf93f4b4d9e102c9fd53a911da4b58cb","datavalue":{"value":{"amount":"+0.92013997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$EF4A4EA0-3AE1-4366-9B15-EBF865EE2319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cec07fe1b95695b258dc743667a9ebc922d78c0","datavalue":{"value":{"entity-type":"item","numeric-id":4826930,"id":"Q4826930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94e4c50107530a4dd67469bc6b30443a6acc4a8","datavalue":{"value":{"amount":"+0.90668905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$D46F2740-870B-497A-988B-DB282FFC3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1259180bfd94c20cf44c4752dfc6f84b6bd1709","datavalue":{"value":{"entity-type":"item","numeric-id":5537385,"id":"Q5537385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7caaef8f44f0aa4013ff2c09d47bc0cdec3c4c79","datavalue":{"value":{"amount":"+0.9042988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$19D60975-5C57-486B-A420-22C9501E3796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba08b06ae3cd9d7feb1d9769389f419834de24f","datavalue":{"value":{"entity-type":"item","numeric-id":5659467,"id":"Q5659467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09009b1bc3a554ae22665b203e0306c674faad4","datavalue":{"value":{"amount":"+0.9020298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$343A335A-097B-4FB9-B264-D9592844A287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333a19e7910481085a309f843b7b694deab1ac97","datavalue":{"value":{"entity-type":"item","numeric-id":5327443,"id":"Q5327443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a7457ce8fc211f8f121ffd7adad9cda5987bc5","datavalue":{"value":{"amount":"+0.8999596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$6D1FFEA0-1BB8-4CE2-98F9-8B91E3A1B757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89df16fe1b4c95ae4fba294f8319d9e2c069dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4317585,"id":"Q4317585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7726777140781b95fee43a3799a6321c0cdd292d","datavalue":{"value":{"amount":"+0.8988533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$149D8F9D-14BE-4F9E-8171-3F2FFB4D67CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2197f57f65eb41fa5607de3701544262fc5f7eaa","datavalue":{"value":{"entity-type":"item","numeric-id":548748,"id":"Q548748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de059ab97404d10b78d2929b28231bb73a8527d7","datavalue":{"value":{"amount":"+0.8965101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$7BF70DF6-4D17-4F05-A30B-38E3F44C0F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765e5896c2d1cd4d113258b08f80f60ea41365f9","datavalue":{"value":{"entity-type":"item","numeric-id":2388603,"id":"Q2388603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006b8b6f40a1456cd318dd5009dbad4166704f48","datavalue":{"value":{"amount":"+0.8962517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$A38C10E6-31DC-4A7C-9422-445F66E609BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef14ef6105b41e2e75a16d255099108b7e979c59","datavalue":{"value":{"entity-type":"item","numeric-id":4692772,"id":"Q4692772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22de2b6d3ac045cba1e2d93d4191d2d970290fc9","datavalue":{"value":{"amount":"+0.89616114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q408529$4C4F4293-A66B-447E-B9BC-9292E656B64E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d50f7dc368e935e724fe90cdfa6a8e4c0ac7b723","datavalue":{"value":"The concepts of algebra, coalgebra, and bialgebra based on a commutative ring are well-known in the literature. In this paper they are generalized to commutative semirings \\(K\\) in order to establish a close connection to automata and formel language theory. For this purpose \\(K\\)-semimodules, \\(K\\)-algebras, \\(K\\)-coalgebras and \\(K\\)-bialgebras are studied showing similar properties as in the classical case. Moreover \\(K\\)-linear automata are introduced, consisting of a \\(K\\)-semimodule with state vector and observation function, and the accepted language as behaviour of a \\(K\\)-linear automaton. As usual two automata are called equivalent, if they have the same behaviour. Together with suitable automata morphisms they define the category of \\(K\\)-linear automata. Similar to the classical case automata morphisms can be shown to preserve equivalence of the corresponding automata. One of the main results of the paper shows that there is an adjunction in the sense of adjoint functors between the categories of \\(K\\)-linear and classical deterministic automata. Using this adjunction and the well-known fact that equivalent minimal deterministic automata are isomorphic the following result is shown: Each pair of equivalent \\(K\\)-linear automata can be connected by an alternating sequence of automata morphisms. This allows to characterize equivalence of \\(K\\)-linear automata by the existence of connecting automata morphisms.NEWLINENEWLINEAltogether the paper has established an interesting connnection between \\(K\\)-algebras and \\(K\\)-automata on one hand and \\(K\\)-coalgebras and formal languages on the other hand. However, generating grammars for formal languages are not considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q408529$35FE0924-3EEA-461A-8F68-10F932F33A8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:408529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:408529"}}}}}