1 code implementation • 14 Sep 2022 • Clemente Pasti, Andreas Opedal, Tiago Pimentel, Tim Vieira, Jason Eisner, Ryan Cotterell
It shows, by a simple construction, that the intersection of a context-free language and a regular language is itself context-free.