t machines definition bfpm