CAI 2009 | Sciweavers

36

CAI
2009
Springer

96views Information Technology» more CAI 2009»

On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes

13 years 10 months ago

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

claim paper

Read More »

32

click to vote

CAI
2009
Springer

115views Information Technology» more CAI 2009»

Canonical Reduction Systems in Symbolic Mathematics

14 years 5 months ago

Download www.risc.jku.at

Franz Winkler

claim paper

Read More »

31

click to vote

CAI
2009
Springer

136views Information Technology» more CAI 2009»

Combinatorics of Finite Words and Suffix Automata

14 years 6 months ago

Download cai09.web.auth.gr

Gabriele Fici

claim paper

Read More »

30

click to vote

CAI
2009
Springer

104views Information Technology» more CAI 2009»

Theories of Automatic Structures and Their Complexity

14 years 6 months ago

Download www.informatik.uni-leipzig.de

Dietrich Kuske

claim paper

Read More »

29

click to vote

CAI
2009
Springer

82views Information Technology» more CAI 2009»

On Several Proofs of the Recognizability Theorem

14 years 6 months ago

Download www.labri.fr

Bruno Courcelle

claim paper

Read More »

30

click to vote

CAI
2009
Springer

91views Information Technology» more CAI 2009»

Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited

14 years 6 months ago

Download grammars.grlmc.com

Andreas Maletti, Catalin Ionut Tîrnauca

claim paper

Read More »

42

click to vote

CAI
2009
Springer

136views Information Technology» more CAI 2009»

A Backward and a Forward Simulation for Weighted Tree Automata

14 years 6 months ago

Download wwwtcs.inf.tu-dresden.de

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

claim paper

Read More »

30

click to vote

CAI
2009
Springer

97views Information Technology» more CAI 2009»

Single-Path Restarting Tree Automata

14 years 6 months ago

Download www.upress.uni-kassel.de

Friedrich Otto, Heiko Stamer

claim paper

Read More »

37

click to vote

CAI
2009
Springer

104views Information Technology» more CAI 2009»

Picture Languages: From Wang Tiles to 2D Grammars

14 years 6 months ago

Download home.dei.polimi.it

The aim of this paper is to collect deﬁnitions 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

claim paper

Read More »

33

click to vote

CAI
2009
Springer

93views Information Technology» more CAI 2009»

Polynomial Operators on Classes of Regular Languages

14 years 6 months ago