On some decidability problems for HDOL systems with nonsingular Parikh matrices

Keijo Ruohonen
<span title="">1979</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
The problem of decidability of ultimate equivalence, emptiness of intersection and finiteness of intersection, for HDOL sequences the generating morphisms of which have nonsingular Parikh matrices is investigated. The Grst and the third of these decidability problems are shown to be closely connected with the equivalence problem for these sequences. In certain special cases the problems are proved to be solvable. A connection between the problem of effective findability of zeros in Z-rational
more &raquo; ... quences and the above problems is established (cf. [lo]).
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(79)90037-9">doi:10.1016/0304-3975(79)90037-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bypis4wz6rairl4bcc5hzm4zfq">fatcat:bypis4wz6rairl4bcc5hzm4zfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001220526/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ab5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTc5OTAwMzc5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c0/d9/c0d9cff06df27f5fede00fa9f33d17fb5875d305.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(79)90037-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>