A1 Refereed original research article in a scientific journal
Decision problems concerning algebraic series with noncommuting variables
Authors: Honkala J
Publisher: SPRINGER-VERLAG BERLIN
Publication year: 1997
Journal: Lecture Notes in Computer Science
Journal name in source: STRUCTURES IN LOGIC AND COMPUTER SCIENCE
Journal acronym: LECT NOTES COMPUT SC
Volume: 1261
First page : 281
Last page: 290
Number of pages: 10
ISSN: 0302-9743
Abstract
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.
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.