So, I'm trying to do some set fixed point recursion stuff in Scala, but I'm not exactly sure how I should set things up properly. Mutable sets? Specifically, I'm trying to find all the possible states a pushdown automaton can go to, from some state/stack pair using only epsilon transitions. Basically, I'm after the transitive closure of the transition relation starting…