# A Backward and a Forward Simulation for Weighted Tree Automata

@inproceedings{Maletti2009ABA, title={A Backward and a Forward Simulation for Weighted Tree Automata}, author={Andreas Maletti}, booktitle={CAI}, year={2009} }

Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two types of simulations work for wta over additively idempotent, commutative semirings and can be used to reduce the size of wta while preserving their semantics. Such reductions are an important tool in automata toolkits.

## 6 Citations

### Minimizing Weighted Tree Grammars Using Simulation

- Computer ScienceFSMNLP
- 2009

Two types of simulations for W TG over idempotent, commutative semirings are introduced, which generalize the existing notions of simulation and bisimulation for WTG and yield the best reduction rates achievable by all minimization procedures that rely on simulation or bisimulations.

### Bisimulations for weighted automata over an additively idempotent semiring

- Computer Science, MathematicsTheor. Comput. Sci.
- 2014

### Simulation relations as a means for pattern-matching in treebanks

- Computer Science
- 2011

We consider the problem of nding the occurrences of a pattern tree t in a treebank represented as a directed acyclic graph g, and propose a two-tiered technique, consisting of a preprocessing routine…

### Simulation relations for pattern matching in directed graphs

- Mathematics, Computer ScienceTheor. Comput. Sci.
- 2013

### Social positions and simulation relations

- Computer ScienceSocial Network Analysis and Mining
- 2011

It is argued that it is necessary to consider several different equivalence relations for a given network, in order to understand it completely, and definitions of both weighted simulation equivalence and weighted regular equivalence are presented.

### Detecting Social Positions Using Simulation

- Computer Science2010 International Conference on Advances in Social Networks Analysis and Mining
- 2010

This paper primarily considers weighted directed networks and presents definitions of both weighted simulation equivalence and weighted regular equivalence, which can be used to model a number of network domains, including information flow, trust propagation, and communication channels.

## References

SHOWING 1-10 OF 22 REFERENCES

### Bisimulation Minimization of Tree Automata

- Computer ScienceInt. J. Found. Comput. Sci.
- 2007

An algorithm by Paige and Tarjan that solves the coarsest stable refinement problem to the domain of trees is extended to minimize nondeterministic tree automata (NTA) with respect to bisimulation.

### Backward and Forward Bisimulation Minimisation of Tree Automata

- Business, Computer ScienceCIAA
- 2007

An existing bisimulation minimisation algorithm for tree automata is improved by introducing backward and forward bisimulations and developing minimisation algorithms for them, which are more effective but just as fast than the previous algorithm.

### Backward and forward bisimulation minimization of tree automata

- Computer ScienceTheor. Comput. Sci.
- 2009

### Computing Simulations over Tree Automata

- Computer ScienceTACAS
- 2008

It is shown that downward and upward relations can be combined to get relations compatible with the tree language equivalence, which can be used for an efficient size reduction of nondeterministic tree automata.

### Multi-Return Macro Tree Transducers

- Computer SciencePLAN-X
- 2008

An extension of macro tree transducers is introduced with the capability of states to return multiple trees at the same time under call-by-value semantics, and it has better closure properties under composition.

### Composed Bisimulation for Tree Automata

- Computer ScienceInt. J. Found. Comput. Sci.
- 2009

The experimental results show that the proposed composed bisimulation meets the requirements of an equivalence, and hence provides users of tree automata with a finer way to resolve the trade-off between the available degree of reduction and its cost.

### Determinization of Finite State Weighted Tree Automata

- Computer Science, MathematicsJ. Autom. Lang. Comb.
- 2003

It is proved sufficient conditions under which the partial determinization produces a bottom-up finite state weighted tree automaton which is equivalent to the original one.

### A Temporal Logic of Nested Calls and Returns

- Computer ScienceTACAS
- 2004

This work introduces a temporal logic of calls and returns (CaRet) for specification and algorithmic verification of correctness requirements of structured programs and presents a tableau construction that reduces the model checking problem to the emptiness problem for a Buchi pushdown system.

### An Overview of Probabilistic Tree Transducers for Natural Language Processing

- Computer ScienceCICLing
- 2005

It is shown that tree acceptors and tree transducers subsume most of the current work on probabilistic modeling for machine translation, summarization, paraphrasing, and language modeling, and it is discussed algorithms for realizing the same benefits found in Probabilistic string transduction.