Update src/recognitionPDA.jl

clearing up what we have to do.