A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Studying Word Equations by a Method of Weighted Frequencies
Tekijät: Saarela A
Kustantaja: IOS PRESS
Julkaisuvuosi: 2018
Journal: Fundamenta Informaticae
Tietokannassa oleva lehden nimi: FUNDAMENTA INFORMATICAE
Lehden akronyymi: FUND INFORM
Vuosikerta: 162
Numero: 2-3
Aloitussivu: 223
Lopetussivu: 235
Sivujen määrä: 13
ISSN: 0169-2968
eISSN: 0169-2968
DOI: https://doi.org/10.3233/FI-2018-1722
Tiivistelmä
We briefly survey some results and open problems on word equations, especially on those equations where the right-hand side is a power of a variable. We discuss a method that was recently used to prove one of the results, and we prove improved versions of some lemmas that are related to the method and can be used as tools when studying word equations. We use the method and the tools to give new, simple proofs for several old results.
We briefly survey some results and open problems on word equations, especially on those equations where the right-hand side is a power of a variable. We discuss a method that was recently used to prove one of the results, and we prove improved versions of some lemmas that are related to the method and can be used as tools when studying word equations. We use the method and the tools to give new, simple proofs for several old results.
Turun yliopiston Tutkimustietojärjestelmän portaali