Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013. Proceedings (2013)