Using Stochastic Context Free Grammars to decide Almost Sure Termination for Probabilistic Term Rewriting Systems
