changes in DFAPila and add some tests
changes in DFAPila and add some tests