Refactoring: turing machine does not have a name anymore, instead tab
title is derived from the file name.