On the star-height of subword counting languages and their relationship to Rees zero-matrix semigroups
Given a word w over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which w occurs as a contiguous subword (factor) an exact number of times and of the languages in which w occurs as a contiguous subword modulo a fixed number, and prove that in...
Saved in:
Published in | Theoretical computer science Vol. 653; pp. 87 - 96 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
Elsevier B.V
15.11.2016
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Given a word w over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which w occurs as a contiguous subword (factor) an exact number of times and of the languages in which w occurs as a contiguous subword modulo a fixed number, and prove that in each case it is at most one. We use these combinatorial results to show that any language recognised by a Rees (zero-)matrix semigroup over an Abelian group is of generalised star-height at most one. |
---|---|
AbstractList | Given a word w over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which w occurs as a contiguous subword (factor) an exact number of times and of the languages in which w occurs as a contiguous subword modulo a fixed number, and prove that in each case it is at most one. We use these combinatorial results to show that any language recognised by a Rees (zero-)matrix semigroup over an Abelian group is of generalised star-height at most one. |
Author | Bourne, Tom Ruškuc, Nik |
Author_xml | – sequence: 1 givenname: Tom surname: Bourne fullname: Bourne, Tom email: tom.bourne@st-andrews.ac.uk – sequence: 2 givenname: Nik surname: Ruškuc fullname: Ruškuc, Nik email: nik.ruskuc@st-andrews.ac.uk |
BookMark | eNp9kEtLxDAQgIMouLv6A7zl6KU1j7Zp8SSLL1hYED2HbDNts7TJmqS-fr0t69m5zMDMN8x8S3RqnQWErihJKaHFzT6NdUjZVKakSgnLTtCClqJKGKuyU7QgnGQJr0R-jpYh7MkUuSgWqNlaHDvAISqfdGDaLmLX4DDuPp3XuHajjca2uFe2HVULASurZ8J47KFX0TgbOnPA0eEXmNo_4F0yqOjNFw4wmNa78RAu0Fmj-gCXf3mF3h7uX9dPyWb7-Ly-2yQ1Z3lMOGkqraEsqIZsxwpS5YzzRoAiWnOmeM6EBkGbrMiZ0kQRtWsEU0wALSlnfIWuj3sP3r2PEKIcTKihn84HNwZJyzzngpTFPEqPo7V3IXho5MGbQflvSYmcncq9nJzK2akklZycTsztkYHphw8DXobagK1BGw91lNqZf-hftfeCdw |
Cites_doi | 10.1016/0890-5401(92)90063-L 10.1016/0022-0000(83)90031-4 10.1307/mmj/1028998975 |
ContentType | Journal Article |
Copyright | 2016 Elsevier B.V. |
Copyright_xml | – notice: 2016 Elsevier B.V. |
DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
DOI | 10.1016/j.tcs.2016.09.024 |
DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
DatabaseTitleList | Computer and Information Systems Abstracts |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Mathematics Computer Science |
EISSN | 1879-2294 |
EndPage | 96 |
ExternalDocumentID | 10_1016_j_tcs_2016_09_024 S0304397516305114 |
GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AABNK AACTN AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAXUO AAYFN ABAOU ABBOA ABJNI ABMAC ABVKL ABYKQ ACAZW ACDAQ ACGFS ACRLP ACZNC ADBBV ADEZE AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR AXJTR BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 RIG ROL RPZ SCC SDF SDG SES SPC SPCBC SSV SSW SSZ T5K TN5 WH7 YNT ZMT ~G- 0SF 29Q AAEDT AAQXK AAXKI AAYXX ABEFU ABFNM ABTAH ABXDB ACNNM ADMUD ADVLN AFJKZ AGHFR AKRWK ASPBG AVWKF AZFZN CITATION FGOYB G-2 G8K HZ~ NCXOZ R2- SEW TAE WUQ XJT ZY4 7SC 8FD JQ2 L7M L~C L~D |
ID | FETCH-LOGICAL-c325t-30f9dde861de4b26095233f7ea0dd32a3527de71f4652ad0a0abf72a27e181323 |
IEDL.DBID | ABVKL |
ISSN | 0304-3975 |
IngestDate | Fri Oct 25 22:35:06 EDT 2024 Thu Sep 26 19:02:14 EDT 2024 Fri Feb 23 02:30:25 EST 2024 |
IsDoiOpenAccess | false |
IsOpenAccess | true |
IsPeerReviewed | true |
IsScholarly | true |
Keywords | Star-height Subword Regular language Rees matrix semigroup |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c325t-30f9dde861de4b26095233f7ea0dd32a3527de71f4652ad0a0abf72a27e181323 |
Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
OpenAccessLink | https://doi.org/10.1016/j.tcs.2016.09.024 |
PQID | 1855370862 |
PQPubID | 23500 |
PageCount | 10 |
ParticipantIDs | proquest_miscellaneous_1855370862 crossref_primary_10_1016_j_tcs_2016_09_024 elsevier_sciencedirect_doi_10_1016_j_tcs_2016_09_024 |
PublicationCentury | 2000 |
PublicationDate | 2016-11-15 |
PublicationDateYYYYMMDD | 2016-11-15 |
PublicationDate_xml | – month: 11 year: 2016 text: 2016-11-15 day: 15 |
PublicationDecade | 2010 |
PublicationTitle | Theoretical computer science |
PublicationYear | 2016 |
Publisher | Elsevier B.V |
Publisher_xml | – name: Elsevier B.V |
References | Eggan (br0010) 1963; 10 Pin, Straubing, Thérien (br0090) 1992; 101 Pin (br0070) 1986 Pin, Straubing, Therien (br0080) 1989; vol. 349 Eilenberg (br0030) 1976 Howie (br0060) 1995; vol. 12 Hashiguchi (br0040) 1983; 27 Henneman (br0050) 1971 Sakarovitch (br0100) 2009 Eilenberg (br0020) 1974 Eilenberg (10.1016/j.tcs.2016.09.024_br0020) 1974 Sakarovitch (10.1016/j.tcs.2016.09.024_br0100) 2009 Eggan (10.1016/j.tcs.2016.09.024_br0010) 1963; 10 Pin (10.1016/j.tcs.2016.09.024_br0080) 1989; vol. 349 Pin (10.1016/j.tcs.2016.09.024_br0090) 1992; 101 Hashiguchi (10.1016/j.tcs.2016.09.024_br0040) 1983; 27 Pin (10.1016/j.tcs.2016.09.024_br0070) 1986 Henneman (10.1016/j.tcs.2016.09.024_br0050) 1971 Eilenberg (10.1016/j.tcs.2016.09.024_br0030) 1976 Howie (10.1016/j.tcs.2016.09.024_br0060) 1995; vol. 12 |
References_xml | – year: 1971 ident: br0050 article-title: Algebraic theory of automata contributor: fullname: Henneman – year: 2009 ident: br0100 article-title: Elements of Automata Theory contributor: fullname: Sakarovitch – volume: 10 start-page: 385 year: 1963 end-page: 397 ident: br0010 article-title: Transition graphs and the star-height of regular events publication-title: Michigan Math. J. contributor: fullname: Eggan – year: 1976 ident: br0030 article-title: Automata, Languages and Machines, vol. B contributor: fullname: Eilenberg – volume: vol. 349 start-page: 458 year: 1989 end-page: 467 ident: br0080 article-title: New results on the generalized star-height problem publication-title: STACS 89 contributor: fullname: Therien – year: 1974 ident: br0020 article-title: Automata, Languages and Machines, vol. A contributor: fullname: Eilenberg – volume: 101 start-page: 219 year: 1992 end-page: 250 ident: br0090 article-title: Some results on the generalized star-height problem publication-title: Inform. and Comput. contributor: fullname: Thérien – year: 1986 ident: br0070 article-title: Varieties of Formal Languages contributor: fullname: Pin – volume: vol. 12 year: 1995 ident: br0060 article-title: Fundamentals of Semigroup Theory publication-title: London Mathematical Society Monographs. New Series contributor: fullname: Howie – volume: 27 start-page: 101 year: 1983 end-page: 115 ident: br0040 article-title: Representation theorems on regular languages publication-title: J. Comput. System Sci. contributor: fullname: Hashiguchi – volume: vol. 12 year: 1995 ident: 10.1016/j.tcs.2016.09.024_br0060 article-title: Fundamentals of Semigroup Theory contributor: fullname: Howie – year: 1986 ident: 10.1016/j.tcs.2016.09.024_br0070 contributor: fullname: Pin – volume: 101 start-page: 219 issue: 2 year: 1992 ident: 10.1016/j.tcs.2016.09.024_br0090 article-title: Some results on the generalized star-height problem publication-title: Inform. and Comput. doi: 10.1016/0890-5401(92)90063-L contributor: fullname: Pin – year: 2009 ident: 10.1016/j.tcs.2016.09.024_br0100 contributor: fullname: Sakarovitch – volume: vol. 349 start-page: 458 year: 1989 ident: 10.1016/j.tcs.2016.09.024_br0080 article-title: New results on the generalized star-height problem contributor: fullname: Pin – year: 1976 ident: 10.1016/j.tcs.2016.09.024_br0030 contributor: fullname: Eilenberg – year: 1971 ident: 10.1016/j.tcs.2016.09.024_br0050 contributor: fullname: Henneman – year: 1974 ident: 10.1016/j.tcs.2016.09.024_br0020 contributor: fullname: Eilenberg – volume: 27 start-page: 101 year: 1983 ident: 10.1016/j.tcs.2016.09.024_br0040 article-title: Representation theorems on regular languages publication-title: J. Comput. System Sci. doi: 10.1016/0022-0000(83)90031-4 contributor: fullname: Hashiguchi – volume: 10 start-page: 385 year: 1963 ident: 10.1016/j.tcs.2016.09.024_br0010 article-title: Transition graphs and the star-height of regular events publication-title: Michigan Math. J. doi: 10.1307/mmj/1028998975 contributor: fullname: Eggan |
SSID | ssj0000576 |
Score | 2.2006996 |
Snippet | Given a word w over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which w occurs as a contiguous... |
SourceID | proquest crossref elsevier |
SourceType | Aggregation Database Publisher |
StartPage | 87 |
SubjectTerms | Alphabets Combinatorial analysis Group theory Languages Mathematical analysis Rees matrix semigroup Regular language Star-height Subword |
Title | On the star-height of subword counting languages and their relationship to Rees zero-matrix semigroups |
URI | https://dx.doi.org/10.1016/j.tcs.2016.09.024 https://search.proquest.com/docview/1855370862 |
Volume | 653 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT-MwELZ4XODAG_FaZCROK4U6fsTtEdCisjxWWh7qzXIaWy0SSdWkAnHgtzOTxotAgsOeIjtyFI3H48-emW8IOUxTJVLdlhFSTEbStxmWeYkjG3OdWKQMd3hQvLpOunfyd0_1ZshpyIXBsMrG9k9tem2tm55WI83WaDhs3aBTD3ZTBYgCNAuLWc9zQL-wOuePT-4vLt8NstJTlyU6AWBAcG7WYV5VH0m746RmO-Xyq-3pk6Gud5-zFbLUwEZ6PP2zVTLj8jWyHEoy0GaFrpHFq380rOU68X9yCk0KCHAcDepLUFp4Wk7SJzhz0lAngoZLy5LaPKO174COQ5TcYDiiVUH_Onj94sZF9Iis_s-0dI_DOiek3CB3Z79uT7tRU1gh6guuqkgw3wGz1k7izMmUI-ccF8JrZ1mWCW4BlOnM6djLRHGbMcts6jW3XDsABIKLTTKXF7nbIlRmrOM9En0BsOp7BXOrmWsz4UAFJNfb5GeQpxlN-TNMCCx7MCB8g8I3rGNA-NtEBombD0pgwL5_N-wgzI6BxYEeD5u7YlIaACNKaDy17fzfp3fJArYw-TBWe2SuGk_cD0AhVbpPZo9e4_1G1_B5ftG9ht7z3skbuF7eLg |
link.rule.ids | 315,783,787,3513,4509,24128,27581,27936,27937,45597,45675,45691,45886 |
linkProvider | Elsevier |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEA6iB_XgW1yfETwJddMkbXaPsijrYxV8gLeQbhNcwXbZdlE8-Nud6TaKgh48tmlLmUxmvmRmviHkIEkikaiWDJBiMpCuxbDNSxiYkKvYIGW4xY1i7yru3svzh-hhinR8LQymVda2f2LTK2td32nW0mwOB4PmLQb1wJtGgChAs7CZ9YxEfAxKffT-lecBgGQSsMQQADzuQ5tVklfZR8ruMK64Trn8zTn9MNOV7zldIgs1aKTHk_9aJlM2WyGLviEDrdfnCpnvfZKwFqvEXWcULingv1HwWB2B0tzRYpy8wI6T-i4R1B9ZFtRkKa0iB3Tkc-QeB0Na5vTGwvCbHeXBM3L6v9LCPg-qipBijdyfntx1ukHdViHoCx6VgWCuDUatFYeplQlHxjkuhFPWsDQV3AAkU6lVoZNxxE3KDDOJU9xwZQEOCC7WyXSWZ3aDUJmytnNI8wWwqu8imFnFbIsJCwoguWqQQy9PPZywZ2ifVvakQfgaha9ZW4PwG0R6ietvKqDBuv_12r6fHQ1LA-MdJrP5uNAARSKhcM-2-b9P75HZ7l3vUl-eXV1skTkcwTLEMNom0-VobHcAj5TJbqVvH4SQ3GU |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+the+star-height+of+subword+counting+languages+and+their+relationship+to+Rees+zero-matrix+semigroups&rft.jtitle=Theoretical+computer+science&rft.au=Bourne%2C+Tom&rft.au=Ru%C5%A1kuc%2C+Nik&rft.date=2016-11-15&rft.issn=0304-3975&rft.volume=653&rft.spage=87&rft.epage=96&rft_id=info:doi/10.1016%2Fj.tcs.2016.09.024&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_tcs_2016_09_024 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon |