{"data":{"id":"10.48550/arxiv.1310.6572","type":"dois","attributes":{"doi":"10.48550/arxiv.1310.6572","prefix":"10.48550","suffix":"arxiv.1310.6572","identifiers":[{"identifier":"1310.6572","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1310.6572"}],"creators":[{"name":"Cain, Alan J.","nameType":"Personal","givenName":"Alan J.","familyName":"Cain","affiliation":[],"nameIdentifiers":[]},{"name":"Gray, Robert D.","nameType":"Personal","givenName":"Robert D.","familyName":"Gray","affiliation":[],"nameIdentifiers":[]},{"name":"Malheiro, António","nameType":"Personal","givenName":"António","familyName":"Malheiro","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids"}],"publisher":"arXiv","container":{},"publicationYear":2013,"subjects":[{"lang":"en","subject":"Group Theory (math.GR)","subjectScheme":"arXiv"},{"lang":"en","subject":"Formal Languages and Automata Theory (cs.FL)","subjectScheme":"arXiv"},{"subject":"FOS: Mathematics","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Mathematics","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"20M05 (Primary) 68Q45, 16S36 (Secondary)","subjectScheme":"MSC"}],"contributors":[],"dates":[{"date":"2013-10-24T11:37:45Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2013-10-25T00:07:51Z","dateType":"Updated","dateInformation":"v1"},{"date":"2015-01-08T21:54:50Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2015-10-20T00:22:01Z","dateType":"Updated","dateInformation":"v2"},{"date":"2013-10","dateType":"Available","dateInformation":"v1"},{"date":"2013","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.1142/s0218196715400044","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"2","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and sylvester monoids. For Chinese monoids, we first give new presentations via finite complete rewriting systems, using more lucid constructions and proofs than those given independently by Chen \u0026amp; Qui and Güzel Karpuz; we then construct biautomatic structures. For hypoplactic monoids, we construct finite complete rewriting systems and biautomatic structures. For sylvester monoids, which are not finitely presented, we prove that the standard presentation is an infinite complete rewriting system, and construct biautomatic structures. Consequently, the monoid algebras corresponding to monoids of these classes are automaton algebras in the sense of Ufnarovskij.","descriptionType":"Abstract"},{"description":"27 pages; 3 figures. Minor revision to fix typos and update references","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xMzEwLjY1NzI8L2lkZW50aWZpZXI+CiAgPGFsdGVybmF0ZUlkZW50aWZpZXJzPgogICAgPGFsdGVybmF0ZUlkZW50aWZpZXIgYWx0ZXJuYXRlSWRlbnRpZmllclR5cGU9ImFyWGl2Ij4xMzEwLjY1NzI8L2FsdGVybmF0ZUlkZW50aWZpZXI+CiAgPC9hbHRlcm5hdGVJZGVudGlmaWVycz4KICA8Y3JlYXRvcnM+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+Q2FpbiwgQWxhbiBKLjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+QWxhbiBKLjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5DYWluPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkdyYXksIFJvYmVydCBELjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+Um9iZXJ0IEQuPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkdyYXk8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+TWFsaGVpcm8sIEFudMOzbmlvPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5BbnTDs25pbzwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5NYWxoZWlybzwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICA8L2NyZWF0b3JzPgogIDx0aXRsZXM+CiAgICA8dGl0bGU+UmV3cml0aW5nIHN5c3RlbXMgYW5kIGJpYXV0b21hdGljIHN0cnVjdHVyZXMgZm9yIENoaW5lc2UsIGh5cG9wbGFjdGljLCBhbmQgc3lsdmVzdGVyIG1vbm9pZHM8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMTM8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Hcm91cCBUaGVvcnkgKG1hdGguR1IpPC9zdWJqZWN0PgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJhclhpdiI+Rm9ybWFsIExhbmd1YWdlcyBhbmQgQXV0b21hdGEgVGhlb3J5IChjcy5GTCk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBNYXRoZW1hdGljczwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHN1YmplY3RTY2hlbWU9IkZpZWxkcyBvZiBTY2llbmNlIGFuZCBUZWNobm9sb2d5IChGT1MpIj5GT1M6IENvbXB1dGVyIGFuZCBpbmZvcm1hdGlvbiBzY2llbmNlczwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iTVNDIj4yME0wNSAoUHJpbWFyeSkgNjhRNDUsIDE2UzM2IChTZWNvbmRhcnkpPC9zdWJqZWN0PgogIDwvc3ViamVjdHM+CiAgPGRhdGVzPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxMy0xMC0yNFQxMTozNzo0NVo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxMy0xMC0yNVQwMDowNzo1MVo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYyIj4yMDE1LTAxLTA4VDIxOjU0OjUwWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYyIj4yMDE1LTEwLTIwVDAwOjIyOjAxWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTMtMTA8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlRleHQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8cmVsYXRlZElkZW50aWZpZXJzPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iRE9JIiByZWxhdGlvblR5cGU9IklzVmVyc2lvbk9mIj4xMC4xMTQyL1MwMjE4MTk2NzE1NDAwMDQ0PC9yZWxhdGVkSWRlbnRpZmllcj4KICA8L3JlbGF0ZWRJZGVudGlmaWVycz4KICA8dmVyc2lvbj4yPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvbm9uZXhjbHVzaXZlLWRpc3RyaWIvMS4wLyI+YXJYaXYub3JnIHBlcnBldHVhbCwgbm9uLWV4Y2x1c2l2ZSBsaWNlbnNlPC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+VGhpcyBwYXBlciBzdHVkaWVzIGNvbXBsZXRlIHJld3JpdGluZyBzeXN0ZW1zIGFuZCBiaWF1dG9tYXRpY2l0eSBmb3IgdGhyZWUgaW50ZXJlc3RpbmcgY2xhc3NlcyBvZiBmaW5pdGUtcmFuayBob21vZ2VuZW91cyBtb25vaWRzOiBDaGluZXNlIG1vbm9pZHMsIGh5cG9wbGFjdGljIG1vbm9pZHMsIGFuZCBzeWx2ZXN0ZXIgbW9ub2lkcy4gRm9yIENoaW5lc2UgbW9ub2lkcywgd2UgZmlyc3QgZ2l2ZSBuZXcgcHJlc2VudGF0aW9ucyB2aWEgZmluaXRlIGNvbXBsZXRlIHJld3JpdGluZyBzeXN0ZW1zLCB1c2luZyBtb3JlIGx1Y2lkIGNvbnN0cnVjdGlvbnMgYW5kIHByb29mcyB0aGFuIHRob3NlIGdpdmVuIGluZGVwZW5kZW50bHkgYnkgQ2hlbiAmYW1wOyBRdWkgYW5kIEfDvHplbCBLYXJwdXo7IHdlIHRoZW4gY29uc3RydWN0IGJpYXV0b21hdGljIHN0cnVjdHVyZXMuIEZvciBoeXBvcGxhY3RpYyBtb25vaWRzLCB3ZSBjb25zdHJ1Y3QgZmluaXRlIGNvbXBsZXRlIHJld3JpdGluZyBzeXN0ZW1zIGFuZCBiaWF1dG9tYXRpYyBzdHJ1Y3R1cmVzLiBGb3Igc3lsdmVzdGVyIG1vbm9pZHMsIHdoaWNoIGFyZSBub3QgZmluaXRlbHkgcHJlc2VudGVkLCB3ZSBwcm92ZSB0aGF0IHRoZSBzdGFuZGFyZCBwcmVzZW50YXRpb24gaXMgYW4gaW5maW5pdGUgY29tcGxldGUgcmV3cml0aW5nIHN5c3RlbSwgYW5kIGNvbnN0cnVjdCBiaWF1dG9tYXRpYyBzdHJ1Y3R1cmVzLiBDb25zZXF1ZW50bHksIHRoZSBtb25vaWQgYWxnZWJyYXMgY29ycmVzcG9uZGluZyB0byBtb25vaWRzIG9mIHRoZXNlIGNsYXNzZXMgYXJlIGF1dG9tYXRvbiBhbGdlYnJhcyBpbiB0aGUgc2Vuc2Ugb2YgVWZuYXJvdnNraWouPC9kZXNjcmlwdGlvbj4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9Ik90aGVyIj4yNyBwYWdlczsgMyBmaWd1cmVzLiBNaW5vciByZXZpc2lvbiB0byBmaXggdHlwb3MgYW5kIHVwZGF0ZSByZWZlcmVuY2VzPC9kZXNjcmlwdGlvbj4KICA8L2Rlc2NyaXB0aW9ucz4KPC9yZXNvdXJjZT4=","url":"https://arxiv.org/abs/1310.6572","contentUrl":null,"metadataVersion":1,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-10T21:55:09.000Z","registered":"2022-03-10T21:55:10.000Z","published":"2013","updated":"2022-03-21T08:47:13.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1310.6572","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}