Update src/recognitionPDA.jl

even smaller correction than the last small correction