Automata, languages and programming : 39th international colloquium, ICALP 2012, Warwick, UK, july 9-13, 2012, proceedings (2012)