other,20-3-E91-1012,ak For <term> non-LR grammars </term> the <term> time-complexity </term> of our <term> parser </term> is cubic if the <term> functions </term> that constitute the <term> parser </term> are implemented as <term> memo-functions </term> , i.e. <term> functions </term> that memorize the results of previous invocations .
other,1-5-E91-1012,ak For <term> LR ( 0 ) grammars </term> , our <term> algorithm </term> is closely related to the <term> recursive ascent parsers </term> recently discovered by Kruseman Aretz \ [ 1 \ ] and Roberts \ [ 2 \ ] .
other,14-4-E91-1012,ak <term> Memo-functions </term> also facilitate a simple way to construct a very compact <term> representation </term> of the <term> parse forest </term> .
tech,8-2-E91-1012,ak It is presented as a <term> generalization </term> of the <term> recursive descent parser </term> .
other,25-6-E91-1012,ak <term> Extended CF grammars </term> ( <term> grammars </term> with <term> regular expressions </term> at the right hand side ) can be parsed with a simple modification of the <term> LR-parser </term> for <term> normal CF grammars </term> .
other,13-1-E91-1012,ak A purely functional implementation of <term> LR-parsers </term> is given , together with a simple <term> correctness proof </term> .
other,0-6-E91-1012,ak For <term> LR ( 0 ) grammars </term> , our <term> algorithm </term> is closely related to the <term> recursive ascent parsers </term> recently discovered by Kruseman Aretz \ [ 1 \ ] and Roberts \ [ 2 \ ] . <term> Extended CF grammars </term> ( <term> grammars </term> with <term> regular expressions </term> at the right hand side ) can be parsed with a simple modification of the <term> LR-parser </term> for <term> normal CF grammars </term> .
other,0-4-E91-1012,ak For <term> non-LR grammars </term> the <term> time-complexity </term> of our <term> parser </term> is cubic if the <term> functions </term> that constitute the <term> parser </term> are implemented as <term> memo-functions </term> , i.e. <term> functions </term> that memorize the results of previous invocations . <term> Memo-functions </term> also facilitate a simple way to construct a very compact <term> representation </term> of the <term> parse forest </term> .
tech,16-3-E91-1012,ak For <term> non-LR grammars </term> the <term> time-complexity </term> of our <term> parser </term> is cubic if the <term> functions </term> that constitute the <term> parser </term> are implemented as <term> memo-functions </term> , i.e. <term> functions </term> that memorize the results of previous invocations .
tech,6-6-E91-1012,ak <term> Extended CF grammars </term> ( <term> grammars </term> with <term> regular expressions </term> at the right hand side ) can be parsed with a simple modification of the <term> LR-parser </term> for <term> normal CF grammars </term> .
tech,23-6-E91-1012,ak <term> Extended CF grammars </term> ( <term> grammars </term> with <term> regular expressions </term> at the right hand side ) can be parsed with a simple modification of the <term> LR-parser </term> for <term> normal CF grammars </term> .
tech,8-5-E91-1012,ak For <term> LR ( 0 ) grammars </term> , our <term> algorithm </term> is closely related to the <term> recursive ascent parsers </term> recently discovered by Kruseman Aretz \ [ 1 \ ] and Roberts \ [ 2 \ ] .
tech,7-3-E91-1012,ak For <term> non-LR grammars </term> the <term> time-complexity </term> of our <term> parser </term> is cubic if the <term> functions </term> that constitute the <term> parser </term> are implemented as <term> memo-functions </term> , i.e. <term> functions </term> that memorize the results of previous invocations .
tech,5-1-E91-1012,ak A purely functional implementation of <term> LR-parsers </term> is given , together with a simple <term> correctness proof </term> .
other,4-3-E91-1012,ak For <term> non-LR grammars </term> the <term> time-complexity </term> of our <term> parser </term> is cubic if the <term> functions </term> that constitute the <term> parser </term> are implemented as <term> memo-functions </term> , i.e. <term> functions </term> that memorize the results of previous invocations .
other,11-4-E91-1012,ak <term> Memo-functions </term> also facilitate a simple way to construct a very compact <term> representation </term> of the <term> parse forest </term> .
other,5-2-E91-1012,ak It is presented as a <term> generalization </term> of the <term> recursive descent parser </term> .
tech,14-5-E91-1012,ak For <term> LR ( 0 ) grammars </term> , our <term> algorithm </term> is closely related to the <term> recursive ascent parsers </term> recently discovered by Kruseman Aretz \ [ 1 \ ] and Roberts \ [ 2 \ ] .
other,12-3-E91-1012,ak For <term> non-LR grammars </term> the <term> time-complexity </term> of our <term> parser </term> is cubic if the <term> functions </term> that constitute the <term> parser </term> are implemented as <term> memo-functions </term> , i.e. <term> functions </term> that memorize the results of previous invocations .
other,23-3-E91-1012,ak For <term> non-LR grammars </term> the <term> time-complexity </term> of our <term> parser </term> is cubic if the <term> functions </term> that constitute the <term> parser </term> are implemented as <term> memo-functions </term> , i.e. <term> functions </term> that memorize the results of previous invocations .
hide detail