This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages);