Formalization of the pumping lemma for context-free languages (Q5195278)
From MaRDI portal
scientific article; zbMATH DE number 7106512
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization of the pumping lemma for context-free languages |
scientific article; zbMATH DE number 7106512 |
Statements
18 September 2019
0 references
Coq
0 references
context-free languages
0 references
pumping lemma
0 references
Formalization of the pumping lemma for context-free languages (English)
0 references
