Algorithms for an Optimal A* Search and Linearizing the Search in the Stack Decoder*