A* shortest string decoding for non-idempotent semirings

Open in new window