what is finiteness algorithm - Search