backward algorithm done and test passed
forward-backward algorithm done
add util decorator, memoized
convergent predicate done
test passed after adding memoization for backward and forward algo
instead of calculating A and B in each observation, calculate it after iterating them all
hidden states include START or END? because inf and nan detected