{"entities":{"Q1422174":{"pageid":1432914,"ns":120,"title":"Item:Q1422174","lastrevid":70369758,"modified":"2026-04-13T14:18:50Z","type":"item","id":"Q1422174","labels":{"en":{"language":"en","value":"Combings of groups and the grammar of reparameterization."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2038407"}},"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":"Q1422174$2D28AA2A-F856-4C99-B771-CD3412C5077E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fbf4439f6e9b607d0dd08472d13804c80c936f0","datavalue":{"value":{"text":"Combings of groups and the grammar of reparameterization.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422174$6CF777C5-EA17-4F7E-AC8E-94E0B623A461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"446fbebafbe077267ff0ee1de6937365f9de9a69","datavalue":{"value":"1044.20018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$0D48FCD1-330B-4926-8515-94546502E76D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0547b9b116595c88b277833d81a2d5acc43946a","datavalue":{"value":{"entity-type":"item","numeric-id":168395,"id":"Q168395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422174$5EA20875-F429-4B2F-9D58-BDD0B8B3894F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5fcb6cd43a0998d068add0035faca6247a2e2036","datavalue":{"value":{"entity-type":"item","numeric-id":185403,"id":"Q185403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422174$6401097D-DF75-46F9-A3D7-9F1D46143F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4b42c06db7e24b19fc79361c42f9be31630ff05","datavalue":{"value":{"time":"+2004-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422174$E616F87F-05B5-4F1B-9914-C5EBC5664D0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17612dc94eb9dfcb3349e8ad8f1bd8b591bc0328","datavalue":{"value":"A choice of generating set for a given group \\(G\\) is a surjective monoid homomorphism \\(\\mu\\colon\\Sigma^*\\to G\\) where \\(\\Sigma^*\\) denotes the free monoid over the finite set \\(\\Sigma\\). A `combing' of \\(G\\) is a map \\(\\sigma\\colon G\\to\\Sigma^*\\) satisfying \\(\\mu\\circ\\sigma(g)=g\\) for all \\(g\\in G\\). The image of \\(\\sigma\\) is also referred to as the language of words in the combing.   For a full abstract family of languages \\(\\mathcal A\\), \\(\\sigma\\) is an `\\(\\mathcal A\\)-combing' if it satisfies the so-called `fellow-traveller property' and the image of \\(\\sigma\\) is a language in the class \\(\\mathcal A\\). If such a \\(\\sigma\\) exists, \\(G\\) is called `\\(\\mathcal A\\)-combable'. The `regular' (Reg), `context-free' (CF), and `indexed' (Ind) classes of languages form the increasing hierarchy \\(\\text{Reg}\\subset\\text{CF}\\subset\\text{Ind}\\). These classes are known to be generated by corresponding types of `grammars'. In the special case where \\({\\mathcal A}=\\text{Reg}\\), an \\(\\mathcal A\\)-combing is called an `automatic structure' for \\(G\\).   In this paper, the author introduces a new method for constructing combings of groups. This new construction is used to answer questions that were raised concerning the distinguishability of several classes of groups. In particular, this new construction of combings provides examples of Ind-combable groups that are not Reg-combable. The author also analyses the grammatical complexity of the combings constructed with his new method. In many cases, the language of words in the combing turns out to be a language in the class Ind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422174$49859254-A8C9-4073-801B-1BC3480D000A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$C304CA31-E576-423D-AB90-E5748414D34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$930498B0-3A43-4CB8-83FF-06579B2DCE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$ED0303E5-3DF5-4F97-B01E-651A8464BFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$F981C3F1-EB22-4E39-8F7D-4ABC9AF6706A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$CCA76492-EE7D-42AB-85CB-604AD38D9CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$CBD7F39E-2DB6-4941-A426-593B4FDAF09E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4906c581c252c55344d2a5dc136c91bcb0b3355","datavalue":{"value":"2038407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$56961B57-0A50-4E5D-9EEE-F1C991AD3DB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422174$68C272C9-71CD-44BF-8F4C-E95F9DF9C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07946602c3f5896a97bdcd22ffeee7e42d8f8745","datavalue":{"value":"combings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422174$29163046-865A-4C1B-BB37-8CFA36B3C6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d227622b114a413a6dfa603588e4cba8547f643","datavalue":{"value":"automatic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422174$A6475762-1799-4D01-935D-F5C552AC8E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61aee7617b415fb5aa78fc6567ad0a6d62bd59c4","datavalue":{"value":"indexed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422174$615FEA16-5FBC-4AA6-89A4-27FB71B8E6D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f9e311a53969bed982204d1446a9d77dda26ac9","datavalue":{"value":{"entity-type":"item","numeric-id":591667,"id":"Q591667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422174$EF346EA1-8E1B-46BC-95CC-91295C20FC15","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":"Q1422174$A88490ED-5F1E-458C-BFFB-F9E4342E0FE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92427691828d5e05a8957f473ef1b5c3943e93ac","datavalue":{"value":"https://doi.org/10.1007/s00014-003-0776-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422174$1A80812D-BD4A-4E32-8617-3579FEB6C6AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44ca6362008107e95b05f60a9fb7b551650a0f7b","datavalue":{"value":"W2014219729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$48E0505F-7865-44BE-8D23-DB80188C637D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"096feec1f676f99df2d903d93ede1c51d4f161cd","datavalue":{"value":"10.1007/S00014-003-0776-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422174$D1A98DAB-23F6-4E19-AB47-C155BB2BA6C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d178083e1ba499f97f28920e4a155687cc81e86d","datavalue":{"value":{"entity-type":"item","numeric-id":4012140,"id":"Q4012140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e99adfa89e91405819bb2d1c91567165ee44c4","datavalue":{"value":{"amount":"+0.89292246","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":"Q1422174$42B2FE50-3178-4CBA-935A-FB914637696F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec6b28be7baef3eb2648d5463b0548d8b287f15","datavalue":{"value":{"entity-type":"item","numeric-id":5702490,"id":"Q5702490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a84091f16d2ad058d11b76d6b2c6d19d53b59d0","datavalue":{"value":{"amount":"+0.88607746","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":"Q1422174$57925FF2-86F1-4A67-B6F2-7D34296AAD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5d921523da2dd40a59945ccb24577d72450a62","datavalue":{"value":{"entity-type":"item","numeric-id":4800090,"id":"Q4800090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96040907fd430e03fee1186068e08c15b84ebd55","datavalue":{"value":{"amount":"+0.88296753","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":"Q1422174$2F233E1A-224E-4E37-A1E4-060EE85500DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75a30b22f420cebbf3b99a016454450d52bd730","datavalue":{"value":{"entity-type":"item","numeric-id":4039099,"id":"Q4039099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e73c440ccd5a326d383a47f49785e3eaf27989f","datavalue":{"value":{"amount":"+0.87488854","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":"Q1422174$8593624D-2D85-4BDF-B76E-80A67EE1EFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994941a695ce94c0ef0cad0c3bbdb649a4e2a7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5316309,"id":"Q5316309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05a1bc2fdf24b64a8b4ba7da17a83a8200f3502","datavalue":{"value":{"amount":"+0.87364554","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":"Q1422174$982CDD65-B281-40AC-8513-E4C9EF6D9753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ddce9d881ea197e20173698a68d8bc250817de2","datavalue":{"value":{"entity-type":"item","numeric-id":4658185,"id":"Q4658185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075cb1d97ff9b3679c345306e5b81dd3f2a7db0c","datavalue":{"value":{"amount":"+0.8733354","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":"Q1422174$A013D967-E4A5-4052-8E1E-4D5B7CA4478C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e433c88208ced66be7990ab4cac1a465f902e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1360056,"id":"Q1360056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc05dd81864c637089a35a99a687c7f9a4e0cb6","datavalue":{"value":{"amount":"+0.87292266","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":"Q1422174$4706A4EA-E2FE-472C-8CA8-7FF2FF09C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbaee449518c49ba60e425ec8f7ef3a08b47943","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e665f1f14d32b9219d1849357a937d1a8be905da","datavalue":{"value":{"amount":"+0.8696674","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":"Q1422174$F4B1FE1E-1DF7-47A5-9E98-4BDE4861BB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b83b321f32e214fc1db49bb480a2fc6d6c1795","datavalue":{"value":{"entity-type":"item","numeric-id":3617419,"id":"Q3617419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c759e4aa0cca9a8917bf2d88e5aa00cce3f225b","datavalue":{"value":{"amount":"+0.8687641","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":"Q1422174$D8024DF7-E1EE-49FC-97CF-5307CA1D6D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e396e789c7ce181c335d7d33d419390d29c17ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4786316,"id":"Q4786316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727a93d915124ff725884278d4bd30b8bd3a9366","datavalue":{"value":{"amount":"+0.8658418","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":"Q1422174$6F07B5F6-4137-4990-A2E6-5C001DB0F8E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combings of groups and the grammar of reparameterization.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combings_of_groups_and_the_grammar_of_reparameterization."}}}}}