@inproceedings{5cd1b7be095a4059abcb105e3b8e6325,
title = "A kleene theorem for forest languages",
abstract = "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 only one concatenation operation and only one star-operation, instead of many different ones. This is achieved by considering forests instead of trees over a ranked alphabet, or, algebraicly speaking, by considering cartesian categories instead of term-algebras. The main result is that in the free cartesian category the rational languages and the recognizable languages coincide. For the construction of the rational expression for a recognizable language it is not necessary to extend the alphabet. We only use operations that can be defined with the algebraic structure provided by cartesian categories.",
author = "Lutz Stra{\ss}burger",
year = "2009",
month = jan,
day = "1",
doi = "10.1007/978-3-642-00982-2\_61",
language = "English",
isbn = "9783642009815",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "715--727",
booktitle = "Language and Automata Theory and Applications - Third International Conference, LATA 2009, Proceedings",
note = "3rd International Conference on Language and Automata Theory and Applications, LATA 2009 ; Conference date: 02-04-2009 Through 08-04-2009",
}