{"entities":{"Q2277864":{"pageid":2288607,"ns":120,"title":"Item:Q2277864","lastrevid":59613285,"modified":"2026-04-10T13:19:25Z","type":"item","id":"Q2277864","labels":{"en":{"language":"en","value":"Experiments and stability in group automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197446"}},"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":"Q2277864$E1C00423-5BEF-461F-81C5-896DFCE77DF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31cb0550b34b7f8cf1f66585f0b3aba262065c28","datavalue":{"value":{"text":"Experiments and stability in group automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277864$F4EE30EB-5A78-403B-B94D-4C00A15899B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba816d0ee6c983d271def191eea5e9b982398a74","datavalue":{"value":"0725.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277864$622F3675-65F8-4AEE-A216-86F4FE853EFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30c5362a567580d13adac0c1196a054c06392a45","datavalue":{"value":"10.1016/0304-3975(91)90208-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277864$E1F9B72A-3D3A-4D6E-8579-D81489AA8B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83986bcdf0fea42e0b344aa402e42c90ef114842","datavalue":{"value":{"entity-type":"item","numeric-id":1124344,"id":"Q1124344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$F533A39E-5A7E-4D57-80C6-E9E8D3D04DA3","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":"Q2277864$E68A6FE5-FCCF-4DDB-B4D7-F68B593EDD51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2277864$CFF47892-B449-4F55-96B4-E01B9BC44EEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1dc782a50b0421661769d52ee579e792b09df08e","datavalue":{"value":"Let \\({\\mathcal A}=(Q,A,B,\\delta,\\lambda)\\) be a Mealy automaton such that Q,B,A are \\(\\Omega\\)-groups and \\(\\delta\\) : \\(Q\\times A\\to Q\\), \\(\\lambda\\) : \\(Q\\times A\\to B\\) are \\(\\Omega\\)-homomorphisms. Define \\(\\delta^*: Q\\times A^*\\to Q\\) as usual, and \\(\\lambda^*: Q\\times A^*\\to B^*\\) such that \\(\\lambda^*(q,\\Lambda)=\\Lambda\\), \\(\\lambda^*(q,a_ 1,...,a_ r)=\\lambda (q,a_ 1)\\lambda^*(\\delta (q,a_ 1)\\), \\(a_ 2...a_ r)\\). Two states \\(q_ 1,q_ 2\\in Q\\) are equivalent, we write \\(q_ 1\\sim q_ 2\\), if \\(\\lambda^*(q_ 1,\\alpha)=\\lambda^*(q_ 2,\\alpha)\\) for every \\(\\alpha \\in A^*\\). For \\(U\\subseteq Q\\), a word \\(\\alpha \\in A^*\\) is called U-identifier experiment of first order, in short UIE1, (or U- identifier experiment of second order in short UIE2) for \\({\\mathcal A}\\) if \\(\\lambda^*(q_ 1,\\alpha)=\\lambda^*(q_ 2,\\alpha)\\) implies \\(q_ 1=q_ 2\\) (or \\(\\delta^*(q_ 1,\\alpha)=\\delta^*(q_ 2,\\alpha))\\) for all \\(q_ 1,q_ 2\\in U\\). We say that \\({\\mathcal A}\\) is k-stable (or weakly k-stable) if \\(\\delta^*(q_ 1,\\alpha)=\\delta^*(q_ 2,\\alpha)\\) (or \\(\\delta^*(q_ 1,\\alpha)\\sim \\delta^*(q_ 2,\\alpha))\\) for all \\(q_ 1,q_ 2\\in Q\\) and \\(\\alpha \\in A^*\\) of length k. Set \\(\\delta_ 0(q)=\\delta (q,0)\\), \\(\\delta^ k_ 0(q)=\\delta^*(q,00...0)\\), \\(\\lambda_ 0(q)=\\lambda (q,0)\\) where 0 is the neutral element of the group A. Then there exists a UIE1 iff \\(U\\cap (\\cap \\{Ker \\lambda_ 0\\delta^ i_ 0\\); \\(i=0,...,k-1\\})=\\{0\\}\\) for some k, there exists a UIE2 iff \\(U\\cap (\\cap \\{Ker \\lambda_ 0\\delta^ i_ 0\\); \\(i=0,...k- 1\\})\\subseteq U\\cap Ker \\delta^ k_ 0\\) for some k. The automaton \\({\\mathcal A}\\) is k-stable iff Ker \\(\\delta\\) \\({}^ k_ 0=Q\\), \\({\\mathcal A}\\) is weakly k-stable iff Im \\(\\delta\\) \\({}^ k_ 0\\subseteq Ker \\lambda_ 0\\). Consequences are derived if Q is a solvable group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277864$A4E72E90-85B4-4E04-B2EE-D40C80FB43C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277864$45935637-3C2D-4C02-9CBF-390A4C70008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277864$6643FEEB-4C78-4D4F-997B-99350011BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277864$CDFCDA65-B4B0-44C8-9C3F-69C744A3FDCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05b24f5cef0e6381f8c5e5cd5e8bdc9e66c640b1","datavalue":{"value":"4197446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277864$56092AB1-EB98-417F-A47F-6726FC1D5EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb7862c59aaea8eba6aac5f4b745ab865a9eac2","datavalue":{"value":"group automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277864$ECD5BD43-EA29-4DBA-80D2-2533910AB70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5a1b6ec64be8fae1e37c7d911a790d22011373d","datavalue":{"value":"U-identifier experiment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277864$2D4D4F31-6BF8-4555-B3FF-F3086C435B57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$E8DD77A6-4533-4F0E-BD1E-08007D3DD53D","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":"Q2277864$6951B7EE-9230-45CB-8DB8-7B6E880CEA36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$07BCCDDF-99BB-4D29-9758-AB1EC51DB283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2545efb7c3043c2dda74d027d717de6a014259","datavalue":{"value":{"entity-type":"item","numeric-id":3692879,"id":"Q3692879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$8B3B36C0-DA8A-4052-AB71-805006D39D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fad93b454051272b06a22df9f1c7abd564b959","datavalue":{"value":{"entity-type":"item","numeric-id":3785049,"id":"Q3785049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$87BE0109-3ACE-416B-BC3D-42BFE287F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8583e6e7bdf1d2d8d1e3e2241eab97eeaa938885","datavalue":{"value":{"entity-type":"item","numeric-id":5732660,"id":"Q5732660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$CBC4234B-7BEB-4B4D-9274-649F3614ED51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20a715e71d71b2b6b8d04011a56906dff54c999","datavalue":{"value":{"entity-type":"item","numeric-id":3689112,"id":"Q3689112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$67542135-4CF1-4EDB-9CF3-419A4AB08306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e48ac8aa446b796e6532194b363fa0a99201ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4187321,"id":"Q4187321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$179F5526-4022-4E1D-BF63-F212F9DE1F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2ade3722f0ae39a84dfc8b1ce586297d100f20","datavalue":{"value":{"entity-type":"item","numeric-id":5573390,"id":"Q5573390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277864$64114403-8E79-442A-9A8F-153770B9CA71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f9ae31e028b50c59f5eb89fc82c0f20bcd56f4","datavalue":{"value":{"entity-type":"item","numeric-id":4021665,"id":"Q4021665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17e66807894b8a7d7c51f0c54235e6516d3c84e","datavalue":{"value":{"amount":"+0.7704071402549744","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":"Q2277864$427902BF-86A7-4D5C-81B3-E6AFCC867674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f28c6336cbbd950d279977f579d598176090d80","datavalue":{"value":{"entity-type":"item","numeric-id":2957911,"id":"Q2957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98d900daa89249bee6fb56bc0dd00d6c2ebb591","datavalue":{"value":{"amount":"+0.7598854899406433","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":"Q2277864$C73519B5-ADB2-4939-978D-8C164E5FD0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8505837af77bcd14dd26b6311782839eb5f07e","datavalue":{"value":{"entity-type":"item","numeric-id":3747731,"id":"Q3747731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f732a9aa4b739a61c84370492987d6de5d40ac3","datavalue":{"value":{"amount":"+0.7411794066429138","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":"Q2277864$62516D08-AAB2-475A-B9EF-8D41431E0DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e767fd7da33472189c9eb1bbb08a5433d928d6","datavalue":{"value":{"entity-type":"item","numeric-id":3507834,"id":"Q3507834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24aae2b4f5edf56d9d8349bfa0ed7733ef188a1","datavalue":{"value":{"amount":"+0.7405624389648438","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":"Q2277864$4F520101-E81C-4D61-939F-1FF65CE301FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277864","badges":[]}}}}}