Теория автоматов и формальных языков, осень 2013