Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование
Grammars with two-sided contexts. / Barash, Mikhail; Okhotin, Alexander.
в: Electronic Proceedings in Theoretical Computer Science, EPTCS, Том 151, 21.05.2014, стр. 94-108.Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование
}
TY - JOUR
T1 - Grammars with two-sided contexts
AU - Barash, Mikhail
AU - Okhotin, Alexander
PY - 2014/5/21
Y1 - 2014/5/21
N2 - In a recent paper (M. Barash, A. Okhotin, "Defining contexts in context-free grammars", LATA 2012), the authors introduced an extension of the context-free grammars equipped with an operator for referring to the left context of the substring being defined. This paper proposes a more general model, in which context specifications may be two-sided, that is, both the left and the right contexts can be specified by the corresponding operators. The paper gives the definitions and establishes the basic theory of such grammars, leading to a normal form and a parsing algorithm working in time O{script}(n4), where n is the length of the input string.
AB - In a recent paper (M. Barash, A. Okhotin, "Defining contexts in context-free grammars", LATA 2012), the authors introduced an extension of the context-free grammars equipped with an operator for referring to the left context of the substring being defined. This paper proposes a more general model, in which context specifications may be two-sided, that is, both the left and the right contexts can be specified by the corresponding operators. The paper gives the definitions and establishes the basic theory of such grammars, leading to a normal form and a parsing algorithm working in time O{script}(n4), where n is the length of the input string.
UR - http://www.scopus.com/inward/record.url?scp=84938927607&partnerID=8YFLogxK
U2 - 10.4204/EPTCS.151.6
DO - 10.4204/EPTCS.151.6
M3 - Conference article
AN - SCOPUS:84938927607
VL - 151
SP - 94
EP - 108
JO - Electronic proceedings in theoretical computer science
JF - Electronic proceedings in theoretical computer science
SN - 2075-2180
T2 - 14th International Conference on Automata and Formal Languages, AFL 2014
Y2 - 27 May 2014 through 29 May 2014
ER -
ID: 41143023