LATA
2009
Springer
14 years 6 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
LATA
2009
Springer
14 years 6 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
LATA
2009
Springer
14 years 6 months ago
2009
Springer
We consider a restricted variant of the hairpin completion called bounded hairpin completion. The hairpin completion is a formal operation inspired from biochemistry. Applied to a ...
LATA
2009
Springer
14 years 6 months ago
2009
Springer
LATA
2009
Springer
14 years 6 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
LATA
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. In this paper we prove the following result. Let s be an infinite word on a finite alphabet, and N ≥ 0 be an integer. Suppose that all left special factors of s longe...
LATA
2009
Springer
14 years 6 months ago
2009
Springer
LATA
2009
Springer
14 years 6 months ago
2009
Springer
This paper proposes an alternative approach to the standard notion of rational (or regular) expression for tree languages. The main difference is that in the new notion we have on...
LATA
2009
Springer
14 years 6 months ago
2009
Springer
LATA
2009
Springer
14 years 6 months ago
2009
Springer
