{"entities":{"Q2373412":{"pageid":2384155,"ns":120,"title":"Item:Q2373412","lastrevid":57882897,"modified":"2026-04-02T22:45:14Z","type":"item","id":"Q2373412","labels":{"en":{"language":"en","value":"Automatic Rees matrix semigroups over categories."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5172558"}},"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":"Q2373412$258DDF12-ED07-4251-A648-2BCA9C7AEC6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6355dd719cd92a86cf78f678e32ee008742ebfc","datavalue":{"value":{"text":"Automatic Rees matrix semigroups over categories.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373412$03CA607F-FB1D-474C-B461-B36B16DF7BE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c2bdc182c80547a8f97be0e4cb7b2e8935c187e","datavalue":{"value":"1121.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$E39CDC07-9C00-455B-819A-8DD66B072EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6733a92c2b869251e9f7a84e8e8026a73870a44c","datavalue":{"value":{"entity-type":"item","numeric-id":323724,"id":"Q323724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373412$E734C5C6-EB3E-491B-9289-E8EAFD05BB52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373412$A7A11D60-A2DE-493C-BBEC-B384B1781E6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227f49044efd7c327d9fee9eb29461e125a6d477","datavalue":{"value":{"time":"+2007-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373412$64F562C8-6F55-47E8-96CA-A27422E4F9BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26e075d5c63bb135f1a2d43f94428837a7324748","datavalue":{"value":"https://arxiv.org/abs/math/0509313","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373412$BB9C2BFD-E76F-4BE1-8648-54D3678DF5D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e64d3b276c0b7461b3d8f6c659d2b1ebb51d83c9","datavalue":{"value":"Automatic structures allow efficiently to perform computations in finitely generated groups and semigroups, e.g., to solve the word problem using a finite automaton. Let \\(A\\) be a finite set of generators of a semigroup \\(S\\), \\(\\$\\notin A\\), \\(A(2,\\$)=\\{(A\\cup\\$)\\times(A\\cup\\$)\\}\\setminus\\{\\$\\times\\$\\}\\). Define the mapping \\(\\delta_A\\colon A^+\\times A^+\\to A(2,\\$)\\) by  \\[ (a_1\\dots a_n,b_1\\dots b_m)\\delta_A=\\begin{cases} (a_1,b_1)\\dots(a_n,b_n), &\\text{if \\(n=m\\)}\\\\ (a_1,b_1)\\dots(a_n,b_n)(\\$,b_{n+1})\\dots(\\$,b_m), &\\text{if \\(n<m\\)}\\\\ (a_1,b_1)\\dots(a_m,b_m)(a_{m+1},\\$)\\dots(a_n,\\$), &\\text{if \\(n>m\\).}\\end{cases} \\]  If \\(L\\subseteq A^+\\) is a regular language such that \\(\\overline L=S\\) and for each \\(a\\in A\\cup\\{\\varepsilon\\}\\) the set \\(L_a=\\{(u,v):u,v\\in L,\\;\\overline{ua}=\\overline v\\}\\delta_A\\) is a regular language, then the semigroup \\(S\\) is called automatic and the pair \\((A,L)\\) an automatic structure for \\(S\\) (for more details see, e.g., \\textit{C. M. Campbell, E. F. Robertson, N. Ru\u0161kuc} and \\textit{R. M. Thomas} [Theor. Comput. Sci. 250, No. 1-2, 365-391 (2001; Zbl 0987.20033)]). The author has earlier generalized this notion for small categories and semigroupoids [\\textit{M. Kambites}, Theor. Comput. Sci. 353, No. 1-3, 272-290 (2006; Zbl 1095.20032)].   Here is considered automaticity and prefix-automaticity in Rees matrix semigroups over semigroupoids and small categories. It is proved, e.g., that a finitely generated Rees matrix semigroup over an automatic semigroupoid is always automatic and provided some sufficient conditions for the underlying semigroupoid of an automatic Rees matrix semigroup to be automatic; these results are generalizations of corresponding results for Rees matrix semigroups over semigroups proved by \\textit{L. Descal\u00e7o} and \\textit{N. Ru\u0161kuc} [Commun. Algebra 30, No. 3, 1207-1226 (2002; Zbl 1012.20052)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$D9E5EAF8-6BDD-4365-909D-8703093B4609","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$6F5AE4D2-D78C-4D91-A4B9-53912F050D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$80791C8E-F788-4C2E-85B1-F3214C34961C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$3E404C98-4876-4B04-8FAD-28A2EE557D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$56284E7E-0D34-4CD9-AAB3-BB0EF1CD7CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d4ee2aca74c4c0df9926d6f3cf4629e4beb1fa","datavalue":{"value":"20L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$75498FEC-5902-492A-86B6-5582D491072B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b03995b09d06da07ff4b15bb37d7f493ed1fdf7d","datavalue":{"value":"5172558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$81A1A30F-6014-4698-ACCB-D145CFD6EB9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8315cb3c23e74fc7eed135d59f03cb1280d20e15","datavalue":{"value":"Rees matrix semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$07F3B00C-1087-4165-AC6D-F147B7AB1336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$C93760DE-7538-46F0-817D-3F35037068B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$5FDF753B-9CA3-4B39-89BB-EB63FB4C7C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5162d8b925d2b5040b3dc6192a46e8658eb04bb","datavalue":{"value":"finitely generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$1E62D58D-4207-4497-B048-DB3070CC899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$DB5787D4-D442-498A-90FD-FD7AE66AE601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$184050E0-EE39-462D-817E-7BE3229818EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$1F059541-9201-4BE7-9F08-9ADCCA01AF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414cc792924dd17f9fa4af2c13a8d57d4842def5","datavalue":{"value":"semigroupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373412$7D94AE14-170A-4C11-8156-851705CE85EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373412$D948C074-4A02-4211-A9EA-2B3A5119DF89","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":"Q2373412$9D3E6B3B-2667-437E-849F-3B37ABA46912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fd036ca47dff80b98c4b98a9a5cfec38dfac28a","datavalue":{"value":"W2088619959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$E6A20DD9-3621-41E0-AAE7-C50BC8F2B82C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd49f38dc2208e8760871dac424146d692bb46ac","datavalue":{"value":"10.1007/S00233-006-0661-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373412$7B7032C7-F453-475C-94B2-5DB6667684C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62be55aa2cc430574f8b9ecf86415daf0074babb","datavalue":{"value":{"entity-type":"item","numeric-id":2368995,"id":"Q2368995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae5ab5e2f9e2085dfaa28476ae5ac427e91e469","datavalue":{"value":{"amount":"+0.86298233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$1F450463-5DB1-4F16-85F3-7425851FA4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be3011d58c56ede202495d2ca5ed8529eb25dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1955595,"id":"Q1955595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4d5063257162576e0e9be4e551c7ab224f35a7","datavalue":{"value":{"amount":"+0.8223766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$2E4F55D1-7056-4346-8B27-73A9685BC6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f225d9b73fdf4a21e581d96003e0d8d9055aae","datavalue":{"value":{"entity-type":"item","numeric-id":1402893,"id":"Q1402893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd379231b8e28b47063270f2ba687257b00efe6","datavalue":{"value":{"amount":"+0.8156985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$D13E38CF-087E-4F0B-A7F0-BC186C8CDA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16faf793e132899be508087eb3167a9075241ae","datavalue":{"value":{"entity-type":"item","numeric-id":2482061,"id":"Q2482061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254865dfaa58431de4c9899ad0f8dfa7b58c2d95","datavalue":{"value":{"amount":"+0.8029835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$5D377631-98DD-4577-A33D-507C80FEEA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f9794b4d08303b4c3a58b2ca8a580dbc8f850f","datavalue":{"value":{"entity-type":"item","numeric-id":4534136,"id":"Q4534136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eede58a1ceb6e79e0916960c68f12e58ba72183a","datavalue":{"value":{"amount":"+0.8023587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$F7BD5455-D7C1-425A-89C7-2BA7B0F31B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0687769696cc171e893cc517d117ab9729752b9c","datavalue":{"value":{"entity-type":"item","numeric-id":2481327,"id":"Q2481327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d145b79b996bddfee0708ddbe702ebeb09d97a","datavalue":{"value":{"amount":"+0.79988885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$0B65C756-AA0B-497D-95A9-AAD7483950A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023732546fbea420c49b847a9abdf37495947885","datavalue":{"value":{"entity-type":"item","numeric-id":1589444,"id":"Q1589444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745f5b674ab8e60714dd5625b95b4f7c89fdd12a","datavalue":{"value":{"amount":"+0.7886066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$B5382347-F0DB-40A8-988A-A793B174C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852b5f4338a9ce1c95c4e2ec8864b526c82dc1b4","datavalue":{"value":{"entity-type":"item","numeric-id":2363384,"id":"Q2363384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63c8dbe8ee4a7b5973abb8ba5d98e46357826ff","datavalue":{"value":{"amount":"+0.78617793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$EC035EBD-B2C9-41B8-87EF-753F5EB5D00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e05a8be6082e649bf06f8647bcd9702303379e2","datavalue":{"value":{"entity-type":"item","numeric-id":3429796,"id":"Q3429796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfdd8712413b7c24ea5fcc2582dacb331a6a983","datavalue":{"value":{"amount":"+0.7768311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$266DC883-15CE-4986-AC07-A9C52EFB500A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf63d07f7b5af46dc2489c6b670a000540dd594e","datavalue":{"value":{"entity-type":"item","numeric-id":4531397,"id":"Q4531397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ce5d9d4ddf4e806bda90ad38763b17dac3d8d4","datavalue":{"value":{"amount":"+0.7765249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373412$45468923-D180-47CB-B74E-022C21F5D804","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373412"}}}}}