Added first version of CFG.generatePDA() and tested in main.cpp