Descriptional Complexity of Push Down Automata. - Lukás Kiss; Branislav Rovan (ITAT, 2020)