t machines definition fjcx