Sciweavers

CAI
2009
Springer
14 years 10 months ago
On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes
This paper studies conditions under which the operation of parallel insertion can be reversed by parallel deletion, i.e., when does the equality (L1 L2) L2 = L1 hold for language...
Bo Cui, Lila Kari, Shinnosuke Seki
76
Voted
CAI
2009
Springer
15 years 7 months ago
On Several Proofs of the Recognizability Theorem
Bruno Courcelle
76
Voted
CAI
2009
Springer
15 years 7 months ago
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited
Andreas Maletti, Catalin Ionut Tîrnauca
118
Voted
CAI
2009
Springer
15 years 7 months ago
A Backward and a Forward Simulation for Weighted Tree Automata
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 type...
Andreas Maletti
76
Voted
CAI
2009
Springer
15 years 7 months ago
Single-Path Restarting Tree Automata
Friedrich Otto, Heiko Stamer
100
Voted
CAI
2009
Springer
15 years 7 months ago
Picture Languages: From Wang Tiles to 2D Grammars
The aim of this paper is to collect definitions and results on the main classes of 2D languages introduced with the attempt of generalizing regular and context-free string languag...
Alessandra Cherubini, Matteo Pradella
80
Voted
CAI
2009
Springer
15 years 7 months ago
Polynomial Operators on Classes of Regular Languages
Ondrej Klíma, Libor Polák