The equivalence problem of DOL and DFOL power series

• Autorzy: Honkala J.
• Języki publikacji: EN

Abstrakty

EN

We show that it is decidable whether or not a given D0L power series and a given DF0L power series over a computable field are equal. This generalizes to power series the result of Ruohonen stating that DF0L-D0L language equivalence is decidable.

Słowa kluczowe

EN

DOL system; formal power series; decidability

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 38, Nr 1,2
• Strony: 201--208
• Opis fizyczny: bibliogr. 11 poz.

Twórcy

autor

Honkala J.

• Department of Mathematics, University of Turku, FIN-20014 Turku, Finland,