{"entities":{"Q890382":{"pageid":892230,"ns":120,"title":"Item:Q890382","lastrevid":52390457,"modified":"2026-01-22T13:07:22Z","type":"item","id":"Q890382","labels":{"en":{"language":"en","value":"Coalgebraic constructions of canonical nondeterministic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506681"}},"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":"Q890382$4396566D-E118-49DC-9D9F-E42E4F3DADC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"509b9e060862d7a085af897194c3c5c6d9ada320","datavalue":{"value":{"text":"Coalgebraic constructions of canonical nondeterministic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890382$FA1097D4-351E-4268-A8A8-4A59EA61364A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c1adb41a1783aa7dd857b7f86d4f7d3b11433ff","datavalue":{"value":"1380.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890382$159B194A-C0F0-4ADD-A511-2E412001FD42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0a3f7c11d50764b5763f414538062ef9bd19c69","datavalue":{"value":{"entity-type":"item","numeric-id":265817,"id":"Q265817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$BFB410FF-A7D5-476E-9618-F07ABDC37CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$6CDB1D0D-5E4D-40A5-AAC0-0E6B40C0C949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$5D3661C6-98FE-4755-BD5A-20BDC67507A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16231eb9cf1a08bfff49d301a5360bb26233668f","datavalue":{"value":{"entity-type":"item","numeric-id":283734,"id":"Q283734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$C0C6309D-4B88-4245-B226-54AFBD13E602","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":"Q890382$84725661-99C0-4409-8016-62C583F67257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-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":"Q890382$D2404B6D-C479-4A1A-8D3E-30E4174E981F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4e24e6995ce93bb5419201fb47476eaa183b2f5","datavalue":{"value":"The paper uses a coalgebraic approach and gives a construction to obtain canonical nondeterministic acceptors (NFAs). The procedure is described by the authors as follows: given a regular language \\(L\\), build the minimal deterministic finite automaton (DFA) for \\(L\\) in a locally finite variety \\(V\\), apply an equivalence between the category of finite \\(V\\)-algebras and a suitable category of finite structured sets and relations; the canonical nondeterministic acceptor is the image of the minimal finite automaton for \\(L\\) under the equivalence.  The case when \\(V =\\) Boolean algebras (via Stone duality) yields the \u00e1tomaton of Brzozowski and Tamm. The case when \\(V =\\) semilattices (via self dualities \\(\\mathrm{JSL}_f=\\mathrm{JSL}_f^{\\mathrm{op}}\\)) yields the jiromaton of Denis, Lemay and Terlutte. The case when \\(V = \\mathbb Z_2\\)-vector spaces yields the minimal xor automaton of Vuillemin and Gama (and even though this example differs substantially from the others it is still captured by the same procedure). The case when \\(V =\\) distributive lattices is considered (via Priestely duality \\(\\mathrm{DL}_f\\cong \\mathrm{PoSet}_f^{\\mathrm{op}}\\)) and a new automaton is obtained which the authors call the distromaton.  In Section 4, the authors characterize the canonical NFAs by universal properties and discuss their state minimality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q890382$AE661536-9606-41FE-B338-AFCAF768BE35","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee65f653a4a5df6becf432e82d2389ff2079a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":303917,"id":"Q303917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$4F27A4C8-3FED-4553-9878-F1C53346D6BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890382$297634D4-15A0-4070-A6BA-C0DD04315AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ac8c77ae0e0339654496b0e96ee040fff2e7bc","datavalue":{"value":"6506681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890382$DBB1024E-62D8-4B56-835A-B4D3D37DB6E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abde220793268065a5dcbf29c614de31957d669","datavalue":{"value":"nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q890382$55485F30-5930-4325-93BD-36F4CEDC7CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437a4083b26a324d3f7c311ebcf077de50ec54db","datavalue":{"value":"join-semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q890382$53FC7EA5-6A93-4CCD-9A98-A8D5432EE200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q890382$6F9C9439-98DA-437C-9DEF-C1667F8A5D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q890382$10730934-8936-447B-B3B0-DA57B004E247","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":"Q890382$8F892E68-C525-4A2A-911D-276D27EDDC66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93b290c72501c9ba9666bf043cfedd5d1fbb2161","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.03.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q890382$53853E88-8077-47D6-8DE5-5F5FD16916AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f1d4662395b73e1e2da76b2607b74b80c5c68dc","datavalue":{"value":"W1992050455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890382$7A40DFFD-0F4D-4B8D-88F2-B5AB5A19E691","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"532219dd4d3cb9099cc3b0175993615877764e53","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$9B4B29D3-6688-454C-8B54-4CCC4A4F90DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff52d3aedfbfcaa9b89f86785a1f34e28707161d","datavalue":{"value":{"entity-type":"item","numeric-id":2846574,"id":"Q2846574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$B8C75696-9E03-4BED-97D6-39C2C9C200D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4d43693616dc729d78f78f94f90f517c3af97","datavalue":{"value":{"entity-type":"item","numeric-id":5410684,"id":"Q5410684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$611F1F5F-7DFB-4A24-A9C0-5A32CF7D6C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93906ed997962ec03ea1e63b66d347ada687abd","datavalue":{"value":{"entity-type":"item","numeric-id":283735,"id":"Q283735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$2C0EA17B-D621-4B14-825B-0ECCC2C883CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4df99ff633e9700862fe1851a2c91cb54da95e5","datavalue":{"value":{"entity-type":"item","numeric-id":3419788,"id":"Q3419788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$4E340DCD-3C9D-4667-8F09-12F0B6EE43C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$7FD9F840-EA3C-4FB2-A74B-71B4A3E41340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577fdc381c10f44bd3170bb3911b589ed82340c1","datavalue":{"value":{"entity-type":"item","numeric-id":2915026,"id":"Q2915026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$BF10155A-2964-44FE-AE66-9D0D49D63D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10043574401804d8bdd7c3653c3ff3d4446380","datavalue":{"value":{"entity-type":"item","numeric-id":418134,"id":"Q418134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$5576C0B4-66C7-4A72-BA36-22BC2C52CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093b72692f1a1e5a88ba7071fb036a351a62c73d","datavalue":{"value":{"entity-type":"item","numeric-id":2897941,"id":"Q2897941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$D9E1430A-F714-49CE-89D8-100D026EAD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6b7d32e3b50e59e9c3b73a59e4633639d022f3","datavalue":{"value":{"entity-type":"item","numeric-id":2946691,"id":"Q2946691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$56CA8DC4-2E1A-4C3A-B9EE-615B35B8C086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd6010ea3d4fb73dabaa449b49e0ac918fbb812","datavalue":{"value":{"entity-type":"item","numeric-id":5199957,"id":"Q5199957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$1C7EBC1F-2CC3-44F8-BE37-1B64F0B7BFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$FF65F7E5-9963-4A7A-BE5C-64FF9FC318A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$12F72FB8-0BBA-4AAD-A075-3B6E197FA66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646653f65fac9c4cb44cd008cf9f56b023753571","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$A598964E-1F67-4CBF-A7AE-8FD43BDCAAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14173539eaeb5fbf191f2746768363e2c307786","datavalue":{"value":{"entity-type":"item","numeric-id":2915144,"id":"Q2915144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$A27D0746-6D11-46CB-8F99-9D567FBF9FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$E1537861-AFBE-46E6-A36F-FEEF758D7CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92443c5482251d2d8aecc693fba2d1b5fff39f61","datavalue":{"value":{"entity-type":"item","numeric-id":955003,"id":"Q955003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$CB494F84-DA9F-447D-A296-430C786AF35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228311a114d54e44307ba2b0dbd9bf7e4aefb3fa","datavalue":{"value":{"entity-type":"item","numeric-id":3086930,"id":"Q3086930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$5F61F69F-FCCD-4138-B6DD-8B9610F29F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdfe6578dd4c1332f36ae558c96ccd3de780e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5844604,"id":"Q5844604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$196B3B25-D8FD-4018-86E1-D3983BD0AD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9de0cd56aea94d8a262bcf15db02fb088c20d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2942783,"id":"Q2942783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$5CAFAB5A-87DB-4599-B079-FBEAFC240266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890382$4316CBA2-7008-4A08-8DD7-2934BE636259","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ad0587777aaecfb2517c4509184c66cf66ae478","datavalue":{"value":"10.1016/J.TCS.2015.03.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890382$2A6F19AC-DF1F-4707-B7BC-B0AF1BB1A2AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbdf68d1cc42c617a8fb9c4e6fc998514052c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2942783,"id":"Q2942783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8899f2dae0d57903f0abfd6ae4354c60cb6af82e","datavalue":{"value":{"amount":"+0.8973405361175537","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":"Q890382$80B3E920-CDD1-4059-8A99-6C2F85987583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820da12ee8c214891e5e930465a420b2be6999c7","datavalue":{"value":{"entity-type":"item","numeric-id":4454842,"id":"Q4454842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04e5cb2e64cce23a4e92df0b1b2652e51479522","datavalue":{"value":{"amount":"+0.769100546836853","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":"Q890382$F85FC559-CCB8-4BB4-88A0-F3E2E2A9F413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15cadd71d92bb3afe091d762ea76dd71e4be1d5","datavalue":{"value":{"entity-type":"item","numeric-id":1744392,"id":"Q1744392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad68c2444f64049ebfa243787b6818dc2cd476e","datavalue":{"value":{"amount":"+0.7674417495727539","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":"Q890382$BE79EA99-D87A-4AA1-8D86-FC90A7F16F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfd86a90d291533ccc4aeac864fe852de1c6f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74453581f9b7d3cced27e899d9010fa679c8c95","datavalue":{"value":{"amount":"+0.7652002573013306","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":"Q890382$36269164-629A-4185-9F89-A5BC933349AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016017686a2205e3f6e7a6a4b31d39034c1f27c0","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ad089a2319a0c5f174ba73dcd16c4210a8252e","datavalue":{"value":{"amount":"+0.764258861541748","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":"Q890382$391A2554-47DE-48CB-890D-2F2CC15F7E7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:890382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:890382"}}}}}