Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings (Springer, 2012)