When carrying out search process by using a search tree, will a finite state space always leads to a finite search tree? If not, please show an example where a finite state space may lead to an infinite search tree. Please also suggest solutions to avoid an infinite tree.