{"entities":{"Q2704387":{"pageid":2715132,"ns":120,"title":"Item:Q2704387","lastrevid":82707800,"modified":"2026-05-06T21:43:23Z","type":"item","id":"Q2704387","labels":{"en":{"language":"en","value":"A class of semisimple automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1578151"}},"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":"Q2704387$12357617-8DD0-493C-997A-79757D1C12AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4942f056ce432bf2a630f941b8b98d63b6be1813","datavalue":{"value":"0972.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704387$A85AE403-AB8E-432A-B412-F60FE7AB2E6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"601cd213c15a855a9dba2c87d77c401d622edf01","datavalue":{"value":{"entity-type":"item","numeric-id":284650,"id":"Q284650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2704387$29BBBB23-F0FB-4350-84A9-AA198C69AF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"592ad99fce1b1f735123d9fb73c7c45459369a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1399977,"id":"Q1399977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2704387$9DAD328C-DD67-4997-92A3-54B130F8F8D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae67c976b44d9568b1614c43dd5af3d04a185271","datavalue":{"value":{"time":"+2001-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2704387$2B40F014-F7AA-49A0-BFD6-743EA1C6FDC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704387$59463535-E36C-447E-8E58-5C03CD141BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704387$2A0E19EC-B4DA-462C-9A82-84B9F3065A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704387$63487427-D8EF-44ED-BA70-2BBDF2FCDD66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26ff55725d2ceb10d838947fd41569737f03ff92","datavalue":{"value":"1578151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704387$3E103218-12BB-418C-A750-0E94A9CC48B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b8a4c41c40d543fcc5f56e1604d6f14ac5750f","datavalue":{"value":"semisimplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704387$6905132C-B639-4F94-8026-245753F45B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704387$CB46382C-8AB1-4EEA-955F-5DCE9E672DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef87b9fed5ebec7c9083a0e0d185ceabb2eb9b4","datavalue":{"value":"automata of graph algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704387$245F7C23-F2E9-45BD-9127-751C04F9E4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704387$23999C23-6F94-470B-9A25-9523C56826A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfbfb7d4a5114622e49017a4cf5d34844b21acd8","datavalue":{"value":"language recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704387$B4D2CD48-5997-4B64-9723-0B3D24A37541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704387$7837D422-8644-4100-A157-6161ABE49F02","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":"Q2704387$2D6D90BA-CC0A-4F5B-B12C-8D7293697CA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f62b287cbd2b3b267de5215a6dce1ad716b88ec1","datavalue":{"value":{"text":"A class of semisimple automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2704387$F49C5A8A-2D74-4BEA-8A29-754F6386B1E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41abeebceb748fc690a55d04e96216021ca4c0a8","datavalue":{"value":{"entity-type":"item","numeric-id":6768059,"id":"Q6768059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2704387$EB01E4D8-788B-4C22-A7CE-99EB5B3CDCAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c4bfa8baf517bcf7812c929021b1cdfd060ccce","datavalue":{"value":"All graphs here are finite directed graphs without multiple edges but possibly with loops. The graph algebra \\(\\text{Alg}(G)\\) of a graph \\(G\\) is the set \\(V(G)\\bigcup \\{\\infty\\} \\) with the multiplication: \\(xy=x\\) iff \\((x,y)\\in E(G)\\) and \\(xy=\\infty \\) otherwise. Denote by \\(\\text{Alg}(G)^1\\) the algebra \\(\\text{Alg}(G)\\) with identity \\(1\\) adjoined. An automaton of the graph algebra \\(\\text{Alg}(G)\\) is a map \\(f:X\\rightarrow \\text{Alg}(G)^1\\) and a subset \\(T\\) of \\(\\text{Alg}(G)^1\\) where \\(\\text{Alg}(G)^1\\) is the set of states, \\(1\\) is the initial state, \\(T\\) is the set of terminal states and the next state function is defined by \\(a.x=af(x)\\). Theorem: Every automaton of the graph algebra of a graph \\(G\\) satisfies the following semisimplicity properties: 1) The automaton has no proper essential congruences, 2) The Nerode congruence is a join of minimal congruences, 3) Every congruence is a direct summand. The authors characterize the languages recognized by automata of graph algebras and also give explicit regular expressions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704387$CA66F176-F12B-46D9-A8C9-C6BCC4808C66","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"542b6ea84023c152b4343da3d1339c7580f7af0e","datavalue":{"value":{"entity-type":"item","numeric-id":1180654,"id":"Q1180654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2704387$7B5AE772-50B9-4ACE-85FF-B75BCC541765","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3df75f68fe438cc48ba5ae45bec727b1f2b305","datavalue":{"value":{"entity-type":"item","numeric-id":1034622,"id":"Q1034622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3edacaeb69e3d7812ab8a4f9b7c8b83998fb10","datavalue":{"value":{"amount":"+0.89882106","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":"Q2704387$34819D1D-46AA-4556-B0F2-EAD25AE9EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82df920d6d9bbd93e122412d1680ece39ffb9ff","datavalue":{"value":{"entity-type":"item","numeric-id":5146086,"id":"Q5146086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1807e5af6d4a2732e11b820041eedf34eeed12","datavalue":{"value":{"amount":"+0.8950154","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":"Q2704387$635E28AE-3577-4E89-B37E-C09C268F5A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b72adf6b26d2ce5af077e0b4d04e6b92b9e333f","datavalue":{"value":{"entity-type":"item","numeric-id":3776624,"id":"Q3776624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb9a1d37c1a97e8703bb1a2b13f40223ebf6e4a","datavalue":{"value":{"amount":"+0.8945218","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":"Q2704387$43310D60-1FCE-41BC-B325-2AD9CB59DCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9ccbdad775149964ee531a85bc565b10568c8b","datavalue":{"value":{"entity-type":"item","numeric-id":3716305,"id":"Q3716305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6d4869c05f127dd8cf2c7569d31ebb5da95294","datavalue":{"value":{"amount":"+0.8925729","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":"Q2704387$4846C03F-2F9F-4C29-8E03-9E33C08A64A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f08933b4ca99820787fec2d729c456710a97a68","datavalue":{"value":{"entity-type":"item","numeric-id":4460604,"id":"Q4460604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5653899d67d52c3cf2f5715b4f087bbe418e10b3","datavalue":{"value":{"amount":"+0.8870788","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":"Q2704387$F16F5440-E74A-4C52-A289-55D65EEC412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47cdbd3082bacbde973a23150124b9d1dfeaa411","datavalue":{"value":{"entity-type":"item","numeric-id":4312313,"id":"Q4312313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1286c79189fbb9ce69cd570ee0c0efdb7a694a","datavalue":{"value":{"amount":"+0.8829009","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":"Q2704387$DC829F54-217A-469F-8F08-119F690A87C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3783aaf4c3baa3abba58f2932c3d0434073b0ce8","datavalue":{"value":{"entity-type":"item","numeric-id":5513770,"id":"Q5513770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7994e35c513a25a31033d1f3e5d5beeb25aae905","datavalue":{"value":{"amount":"+0.8816812","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":"Q2704387$2F6729AA-372E-4981-B55F-12CE4CDE1656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a472853c3df1e62edd0878b5c1a8e434a621585","datavalue":{"value":{"entity-type":"item","numeric-id":5513768,"id":"Q5513768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3a4f2c00344715972b2d6a2e4cdf88ae8c8250","datavalue":{"value":{"amount":"+0.87642914","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":"Q2704387$4276E16F-5FEB-4D08-B1FD-A519CF4E09D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415492c45b95faa3a4610f4d0a7be896b4edde04","datavalue":{"value":{"entity-type":"item","numeric-id":3759052,"id":"Q3759052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995793bc2de153f52cdd36ce3213c8e845d05cc5","datavalue":{"value":{"amount":"+0.87640595","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":"Q2704387$CA0E1D84-ECE2-4887-8F84-E392EB689FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73c029a2dd7d7a7b65174f4ba7504c193233936c","datavalue":{"value":{"entity-type":"item","numeric-id":4793126,"id":"Q4793126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88ca15b1cf2e46127fe80b5c06f85f4bdde992d","datavalue":{"value":{"amount":"+0.87543356","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":"Q2704387$D9B3B0A6-9D0E-4E18-B7E5-C110EDF925FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of semisimple automata","badges":[]}}}}}