Descriptional Complexity of Formal Systems

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