A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

The equivalence problem for DFOL languages and power series



Tekijät: Honkala J

Kustantaja: ACADEMIC PRESS INC ELSEVIER SCIENCE

Julkaisuvuosi: 2002

Tietokannassa oleva lehden nimi: JOURNAL OF COMPUTER AND SYSTEM SCIENCES

Lehden akronyymi: J COMPUT SYST SCI

Vuosikerta: 65

Numero: 2

Aloitussivu: 377

Lopetussivu: 392

Sivujen määrä: 16

ISSN: 0022-0000

DOI: https://doi.org/10.1006/jcss.2002.1850


Tiivistelmä
We show that equivalence is decidable for DOL systems with finite axiom sets. We discuss also DFOL power series and solve their equivalence problem over computable fields. (C) 2002 Elsevier Science (USA).



Last updated on 2024-26-11 at 16:06