A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Decision problems concerning algebraic series with noncommuting variables



Tekijät: Honkala J

Kustantaja: SPRINGER-VERLAG BERLIN

Julkaisuvuosi: 1997

Journal: Lecture Notes in Computer Science

Tietokannassa oleva lehden nimi: STRUCTURES IN LOGIC AND COMPUTER SCIENCE

Lehden akronyymi: LECT NOTES COMPUT SC

Vuosikerta: 1261

Aloitussivu: 281

Lopetussivu: 290

Sivujen määrä: 10

ISSN: 0302-9743


Tiivistelmä
Equivalence and rationality problems are shown to be decidable for algebraic series with noncommuting variables having bounded supports. As a tool, Parikh simplifying mappings are defined and studied.



Last updated on 2024-26-11 at 22:42