Source: https://ccsuniversity.ac.in/bridge-library/pdf/mca-Introduction-Pushdown-Automata.pdf