Added some resultPrint to RDPNFA.java