Preface of Special Issue on Theoretical Aspects of Computer Science

Abstract

This special issue contains nine articles which are based on extended abstracts that were presented at the 28th Symposium on Theoretical Aspects of Computer Science (STACS), which was held at Technische Universitat Dortmund, Germany, March 10– 12, 2011. These extended abstracts were among the top papers of those that were chosen for presentation at STACS 2011 in a highly competitive peer-review process (after which only 54 papers out of 271 submission were accepted). Compared with the original extended abstracts the articles have been strongly revised and extended by full proofs and additional results. They underwent a further rigorous reviewing process, following the TOCS standard, completely independent from the selection process of STACS 2011. Three articles are about formal languages. The first two investigate size issues for automata and (extended) regular expressions, respectively, while the third one investigates the syntactic monoids of regular languages over infinite alphabets. The article Series Parallel Digraphs with Loops by Stefan Gulan studies the question which kinds of finite automata can be translated into regular expressions of linear size. It gives a very comprehensive answer to this question by showing that such linear translations are possible from automata with a certain underlying graph structure, series parallel loop graphs, into regular expressions and vice versa. Furthermore it characterizes this graph class (within the class of hammocks, i.e., all graphs with dis-