Automata, languages and programming : 42nd international colloquium, ICALP 2015, Kyoto, Japan, july 6-10, 2015, proceedings (2015)