Update src/recognitionPDA.jl

small correction