An introduction to unweighted and weighted pushdown systems