I suppose that by 'just', you mean 'can be reduced to', but 'just' also implies there is not much to it, which is definitely not the case here.

More concretely, the combinatorial complexity of the state-machine approach makes it infeasible.