Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
The generalized LR parsing algorithm for context-free grammars is extended for the case of Boolean grammars, which are a generalization of the context-free grammars with logical connectives added to the formalism of rules. In addition to the standard LR operations, Shift and Reduce, the new algorithm uses a third operation called Invalidate, which reverses a previously made reduction. This operation makes the mathematical justification of the algorithm significantly different from its prototype. On the other hand, the changes in the implementation are not very substantial, and the algorithm still works in time O(n4).
| Язык оригинала | английский |
|---|---|
| Страницы (с-по) | 629-664 |
| Число страниц | 36 |
| Журнал | International Journal of Foundations of Computer Science |
| Том | 17 |
| Номер выпуска | 3 |
| DOI | |
| Состояние | Опубликовано - 1 июн 2006 |
ID: 41141290