t machines definition waet