![Formal languages / Language / Culture / Grammar / Context-free grammar / Formal grammar / Context-free language / Regular language / Regular grammar / Model checking / Conjunctive grammar Formal languages / Language / Culture / Grammar / Context-free grammar / Formal grammar / Context-free language / Regular language / Regular grammar / Model checking / Conjunctive grammar](https://www.pdfsearch.io/img/a5491d60305e3613d913e1ca575af7c1.jpg) Date: 2018-10-25 12:43:22Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar | | A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2Add to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source Website File Size: 168,05 KBShare Document on Facebook
|