21 citations · 38 across the 9 of their papers we have counts for
1 paper · 1 filter
Jos C. M. Baeten, Bas Luttik
A classical theorem states that the set of languages given by a pushdown automaton coincides with the set of languages given by a context-free grammar. In previous work, we proved…