{"entities":{"Q1177141":{"pageid":1187890,"ns":120,"title":"Item:Q1177141","lastrevid":66768759,"modified":"2026-04-12T12:43:36Z","type":"item","id":"Q1177141","labels":{"en":{"language":"en","value":"Results on homomorphic realization of automata by \\(\\alpha_ 0\\)-products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20002"}},"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":"Q1177141$79D0C5E7-83EC-4B38-AF69-A744C9AB26D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c30e8de2173bea5aa9f1bdf5a5c6d0ef7038980","datavalue":{"value":{"text":"Results on homomorphic realization of automata by \\(\\alpha_ 0\\)-products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177141$AB143084-045A-4C74-91AF-BD0E13427016","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2055404ab5c47503660c5eaa524d472c6a9343bb","datavalue":{"value":"0744.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177141$1A6562EE-0E05-4321-B879-C811589DF83C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce5981b44f5651450622a786066d51120a39337e","datavalue":{"value":"10.1016/0304-3975(91)90325-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177141$B76CD5D1-6321-4DCC-873D-A6D591F98E6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$60BDCDF2-B437-4A71-B6AD-BB6C89B34060","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":"Q1177141$9A414AA0-C6C4-4286-A4C7-C61370D433A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177141$806AFD3C-7B14-46D5-8091-A212310BD21A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eabd590b2ede0bb5b4174de3041ccff3332e1923","datavalue":{"value":"There are two traditions in the structure theory of automata which differ already in the ways an automaton can realize another: one allows input letters to be coded as arbitrary words while the other insists on letter- to-letter codings. The former approach rests on semigroup theory and has culminated in the Krohn-Rhodes decomposition theory and some applications in formal language theory. The second approach uses methods of universal algebra and lattice theory, and it has been widely applied in sequential circuit theory. \\{The reviewer does not share the author's view of the relative successes of the two approaches.\\} Here an intermediate notion of divisibiity is considered: a semigroup \\(S\\) divides an automaton \\(\\mathbf A\\) `in equal lengths' if there exists a homomorphism from a subsemigroup of the characteristic semigroup \\(S({\\mathbf A})\\) into \\(S\\) such that every element of \\(S\\) has a preimage defined by an input word of some fixed length (there are actually two versions of the concept). The main result of the paper is that irreducibility with respect to this divisibility concept is equivalent to irreducibility in the sense of Krohn and Rhodes. Moreover, some completeness questions are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177141$D89DDEB8-C4F7-489D-985D-857E0B78399C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$EB30E8CA-07D0-4D59-A972-256669717A11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177141$6690E125-C32F-443B-B6FE-EA445FDFEF7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f32b38ff0410e08a9b78c2b779f6d63c9e8ecb1","datavalue":{"value":"20002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177141$C77790A2-5A0B-42DB-BA43-78670B214092","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177141$38BC5DE4-8153-42A5-B4E4-9D3E46748886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4359f7801f198b3420dd01e3229698243fb28311","datavalue":{"value":"decompositions of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177141$5ACA0E8B-52B7-4804-9749-7D877590C75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee14f86189757859966d80dbf502a3c4905fcb92","datavalue":{"value":"irreducible semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177141$AE576E3F-D064-420A-B866-BA1DEB2A79AE","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":"Q1177141$D4C36EF7-B961-448D-B3EC-357656DE745A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"572a359ebd12680219af062d2612606f0a5d8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5570933,"id":"Q5570933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$33CF786E-7D72-4F24-A9BD-9B3E902CE5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa533b19e5bbecd4043259e2f88c42568ba8af","datavalue":{"value":{"entity-type":"item","numeric-id":5184414,"id":"Q5184414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$14AC4C0D-CF5C-44EB-9D1A-BE3A4C238929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44682ebe75a81ece0cc6327686e2fc0da387f92","datavalue":{"value":{"entity-type":"item","numeric-id":3756530,"id":"Q3756530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$33E96B96-CC52-4644-BD96-EA1CF0F1B7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8835b62abff9ad718eac81e8d39b92795a0648ed","datavalue":{"value":{"entity-type":"item","numeric-id":908704,"id":"Q908704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$FDFEB4E9-C102-4561-90A2-3928EF7ED857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b278e8e00184d00c5c21c478773c1f63e1fc8276","datavalue":{"value":{"entity-type":"item","numeric-id":3468615,"id":"Q3468615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$DEC897D7-D0DD-47F1-A734-341E12D022B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cf26bdec34db26b5742c4eb7c8a0940c223c8e","datavalue":{"value":{"entity-type":"item","numeric-id":3780442,"id":"Q3780442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$E738D059-919C-4C2E-8981-C0D5B34A2642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$D5B52506-542E-4EB6-9FEF-4EB704D9ED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59484d550f6398834176a2d2c00ac4c3cde397d1","datavalue":{"value":{"entity-type":"item","numeric-id":1089802,"id":"Q1089802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$7FAF9BD4-D2A9-4AA1-A374-C4076F161C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2528136a2abeda9e5df5f6f942f76822c67aca6e","datavalue":{"value":{"entity-type":"item","numeric-id":3758249,"id":"Q3758249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$D878CBBA-C3D9-4221-AAF2-70EC8FD8266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f385842ab505df71ada2996e5d61941891063597","datavalue":{"value":{"entity-type":"item","numeric-id":4775798,"id":"Q4775798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$A2C8D3B6-28C1-4EA8-AF47-A224D3748BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3f5aacab8b165da3e0b98ec43c027e458b7b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3776631,"id":"Q3776631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$7EC545F5-9F55-48AD-B213-DB87ED72EBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$668F999B-A7AC-4EA0-A12D-11CD7EB5DF66","rank":"normal"},{"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":"Q1177141$55FF50D7-3E31-483E-A2B1-C91FB3A7EAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2f71a4eb52c5f594bbdaa643a2ba7d9c3ad217","datavalue":{"value":{"entity-type":"item","numeric-id":4047717,"id":"Q4047717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$21071239-F601-40DF-B49D-E8ABC8834C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$50FFB819-D0A9-4B5F-BF6B-AED4B98A8892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70149cae8f99255f0ad252fb21c7901c2462fe82","datavalue":{"value":{"entity-type":"item","numeric-id":3776657,"id":"Q3776657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$AFF8EA78-A042-47A8-A1CD-8D08D54EA183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$FD7F077B-8BA2-4F56-8538-A278741411FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56260b00b0c2e42729f2f2c68f89c4e1b65da852","datavalue":{"value":{"entity-type":"item","numeric-id":2266130,"id":"Q2266130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177141$00757F52-1E41-4BD7-9C44-B0A0C3029EFA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"28a42fe2929f5ed34fe9867f26c2b106f36fba1a","datavalue":{"value":"Q123185225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177141$9FBBA47A-A3FE-4187-8082-01AEA5052402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3478857cb2e9cbc84ff72b145552c7c6a08600b","datavalue":{"value":{"entity-type":"item","numeric-id":4721655,"id":"Q4721655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9496f6066f05922221d0dda09fb7b4c6d69beac8","datavalue":{"value":{"amount":"+0.7922422885894775","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":"Q1177141$37F18865-CABF-4C0D-95C8-B3619B7B53B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b719f6b03e2b3c82574a1e284f17ac82246702c9","datavalue":{"value":{"entity-type":"item","numeric-id":3756530,"id":"Q3756530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe9c65d33e9df04d96cce62c3b684abfc75dd0a","datavalue":{"value":{"amount":"+0.7896356582641602","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":"Q1177141$2909360D-2A59-4013-BD77-6543DE187167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a7f1b5a928b99964bc99a35c90ea48bd396fce","datavalue":{"value":{"entity-type":"item","numeric-id":3766859,"id":"Q3766859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177bd9a22dca37f848191fa85c0a5dc4f9d069e3","datavalue":{"value":{"amount":"+0.7690751552581787","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":"Q1177141$CAE350E0-A8F0-4965-AF70-9428B7527C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2de98baea2300395aaee57ee077beea9270756","datavalue":{"value":{"entity-type":"item","numeric-id":3774952,"id":"Q3774952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1762ab56adabf489c97bc659faf932bda0a2768","datavalue":{"value":{"amount":"+0.7625884413719177","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":"Q1177141$EE6EBB5D-F1D5-4377-A717-CFBEC60DCAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e86ad997c74113b0ee1cf5ae7d4f9eb51a73bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1089802,"id":"Q1089802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2051f71313c440bb0680ee15156197a1c2438c","datavalue":{"value":{"amount":"+0.761945366859436","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":"Q1177141$DE280E86-9CF0-4E2E-9D36-F18F1EB19801","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Results on homomorphic realization of automata by \\(\\alpha 0\\)-products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Results_on_homomorphic_realization_of_automata_by_%5C(%5Calpha_0%5C)-products"}}}}}