|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 12 gevonden artikelen
| Titel: |
A Note on the Emptiness of Semigroup Intersections |
| Auteur: |
Bell, Paul |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 79 (2007) nr. 1-2 pagina's 1-4 |
| Jaar: |
2007-09-13 |
| Inhoud: |
We consider decidability questions for the emptiness problem of intersections of matrix semigroups. This problem was studied by A. Markov [7] and more recently by V. Halava and T. Harju [5]. We give slightly strengthened results of their theorems by using a different matrix encoding. In particular, we show that given two finitely generated semigroups of non-singular upper triangular 3 × 3 matrices over the natural numbers, checking the emptiness of their intersections is undecidable. We also show that the problem is undecidable even for unimodular matrices over 3 × 3 rational matrices. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 12 gevonden artikelen
| << vorige | volgende >> |