Removed next_state_table.
Implemented brute force decorder.