State explosion problem

From Free net encyclopedia