as a trivial example a machine implementing a finitary decision tree will always halt umukobwa ukiri muto wiruka mumuhanda ku mukino ubanza ntabwo twitwaye neza rayon sports yaraturushije yatsinze ibikwiye