Charles Explorer logo
🇬🇧

On Separations of LR(0)-Grammars by Two Types of Pumping Patterns

Publication at Faculty of Mathematics and Physics |
2021

Abstract

We present two types of pumping patterns that allow a total separation inside the class of LR(0)- grammars. Using the same type of pumping patterns, we obtain a total separation inside of linear LR(0)-grammars.

This type of study has a long-term motivation from computational linguistics and the area of syntactic error localization. A recent motivation also comes from the field of formal models of neural networks.