doctype minimaldocsgml system projectsltgremotedatasimonesrcdtdminimaldocdtd titleoffline optimization earleystyle hpsg processingtitle classification lgprgrfm abstracta novel approach based natural language processing uses offline compiler automatically prime declarative grammar generation parsing inputs primed advanced processor way elegant solution problems empty heads efficient bidirectional illustrated special case extensive testing large revealed important constraints form grammarabstract body div depth1headerintroductionheader pbidirectionality research topic enjoying increasing attention ref mainly clear theoretical practical advantages address describing hands earley developed techniques direction independent sense grammars paper focus application context comparatively neglected area generationp pref gave refs algorithm prediction step restrict feature instantiations predicted phrases lacks goaldirectedness showed modify restriction function make topdown information bottomup completion problem generating subparts construction wrong order lead massive nondeterminacy nontermination partly overcame incorporating headdriven strategy evaluating head prior dependent suffers efficiency missing displaced underspecified observed simple headfirst reordering rules insufficient restricting restricted unary binary rulesp prefs essential arguments eaa logic compilation invert parseroriented inversion process consists automatic static nodes interchanging recursively defined notion instantiated ensure terminating execution node observe computationally infeasible demands investigation permutations recursive procedures proposed fails guarantee input output semantically equivalent direct dia overcomes making goaldirected developing reformulation technique allows successful treatment exhibit headrecursion approaches suitable take specification produce generator andor adopt theoretically interesting perspectivep pwe phrase structure rulebased typed generalizes extension section cref show extensively partial vp topicalization german uncovered imposed crefp depth1headeradvanced generationheader pas noted main shortcoming lack proliferation edges tackled modifying follows avoid inefficient evaluation orders specifically righthand side rule distinguished categories scanned resulting similar headcorner flow semantic lexical pivot reached headdependent built fashion mixture crucial goal category integrated subcategorization lexicon strict called analog left recursion fail eqn x irrespective combining mixed bottomuptopdown refrain complete example refp depth2headeroptimizationsheader improved number reduce created three optimizations especially helpful supplies edge chart two indices backward index pointing state states matching combined located faster indexing improves complex closely oldtresolution p img pactive 2 resulted active 1 identified identical steps 3 4 gets passive consider 4p pthe second creates table predictions redundant full expensive subsumption test third indexes entries necessary obtain constanttime accessp earleygenerator gains despite heuristic improvements solvedpdivdiv depth2headerempty headsheader pempty principal refers phonology partially unspecified guide phonological realization plays part better illustrate pose sentencep phat karl marie gekt kissed did kiss maryp pfor argument composition analysis subcat list auxiliary verb fully combination verbal complement isp pthough generate prescribes complements generates instantiates deterministic procedure generated sequence contains generateandtest random eliminated unifications clearly profoundly influence accordinglyp divdiv depth2headeroffline versus onlineheader pdynamic online solve ordering previous subsection unattractive interpreting run time overhead locally determining optimal impossible goalfreezing overcome equally unappealing procedural annotation presupposes writer possesses substantial computational expertise chose deal optimize additional provision dealing generatorp depth1headeroffline optimizationheader pour generalization dataflow employed takes paths start means user annotates path specifying logical subpaths bound type hierarchy unification operations annotations preserved sharing determines grammarp relative particular computing maximal degree introduced equals unifies binding comparing individual allowed introduce exceeds admissible hand rejected originally set consecutively incremented foundp depth2headerexampleheader basis space limitations force abstract defining considering entriesp punifying annotated lefthand leads result structuresharing value treated addition specific appropriate features specified cat boundp imgp pon investigate unified preservation following entry note marked toop maximally introduces low mark instantiation deduced mimic common taking subsuming unify original preserve nonverbal subsequent find sentence restricts verified sample verbp choosep compositionpdivdiv depth2headerprocessing headheader necessarily treats alike includes calculation select evaluated insteadp pavm137p demonstrates extremely consequence compile optimized regardless ignores grammatical identifies importantly onp depth1headerconstraints grammarheader testgrammar implementation troll compilerp depth2headercomplement displacementheader able sufficient efficiently cases displacement arises receives extracted stayed represented schematically figure pagep c1 h problematic bindings c2 longer evaluate taken page topicalized anna lieben object subject mittelfeld mutual dependencies subconstituents local trees unrestricted handled fillerhead filler right rely simply existpdivdiv depth2headergeneralizationheader pa potential constitutes requirement specificity operation successfully best schematic rulep punderspecification finite auxiliaries ditransitive verbs underspecification constructions saturated tagged suffice respective instantiate conclusion causes rejection forced split least limitation refpdivdiv depth1headerconcluding remarksheader pan innovative extends compiles times conventional fundamental properties formalism monostratal uniform syntax semantics supports minimal untyped constants optimizationp