TM (maszyna Turinga) to automat o skonczonej liczbie stanow i nieograniczonej dlugosci tasmy z mozliwoscia zapisu i odczytu.