Simulations of weighted tree automata

Zoltán Ésik, Andreas Maletti

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called forward and backward simulations. In addition, it is shown in several cases (fields, commutative rings, Noetherian semirings, semiring of natural numbers) that all equivalent wta M and N can be joined by a finite chain of simulations. More precisely, in all mentioned cases there is a single wta that simulates both M and N. Those results immediately yield decidability of equivalence provided that the semiring is finitely (and effectively) presented.

Original languageEnglish
Title of host publicationImplementation and Application of Automata - 15th International Conference, CIAA 2010, Revised Selected Papers
Pages321-330
Number of pages10
DOIs
Publication statusPublished - Feb 21 2011
Event15th International Conference on Implementation and Application of Automata, CIAA 2010 - Winnipeg, MB, Canada
Duration: Aug 12 2010Aug 15 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6482 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other15th International Conference on Implementation and Application of Automata, CIAA 2010
CountryCanada
CityWinnipeg, MB
Period8/12/108/15/10

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Ésik, Z., & Maletti, A. (2011). Simulations of weighted tree automata. In Implementation and Application of Automata - 15th International Conference, CIAA 2010, Revised Selected Papers (pp. 321-330). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6482 LNCS). https://doi.org/10.1007/978-3-642-18098-9_34