Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
3Activity

Table Of Contents

Introduction
1.1 Introduction
1.1.1 Natural Language
1.1.2 Biology and the Language of DNA
1.1.3 Our proposal
1.2 Outline of the Thesis and Description of the Results
Two Stack Push Down Automata
2.1 Automata with two Stacks
2.1.1 EPDA and equivalent 2 Stack Machines
2.1.2 Shrinking Two Pushdown Automata
2.2. LEFT RESTRICTED 2 STACK PUSH DOWN AUTOMATAS (LR-2PDAS) 13
2.2 Left Restricted 2 Stack Push Down Automatas (LR-
2.3 Comparison with TM, PDA and LR-2PDA
2.4 Examples of LR-2PDAs
2.5 Determinism in LR-2PDA
2.5.1 Deterministic LR-2PDA
2.5.2 LR-2PDA with deterministic auxiliary stack
Global Index Grammars
3.1 Indexed Grammars and Linear Indexed Grammars
3.2 Global Index Grammars
3.2.1 trGIGS
3.2.2 GIGs examples
3.3 GILs and Dyck Languages
3.4 Equivalence of GIGs and LR-2PDA
4.2 Closure Properties of GILs
4.3 Semilinearity of GILs and the Constant Growth property
4.4 Pumping Lemmas and GILs
4.4.1 GILs, finite turn CFGs and Ultralinear GILs
4.5 Derivation order and Normal Form
Recognition and Parsing of GILs
5.1 Graph-structured Stacks
5.2 GILs Recognition using Earley Algorithm
5.2.1 Earley Algorithm
5.2.2 First approach to an Earley Algorithm for GILs
5.2.3 Refining the Earley Algorithm for GIGs
5.2.4 Earley Algorithm for GIGs: final version
5.3 Complexity Analysis
5.3.1 Overview
5.3.2 Time and Space Complexity
5.4. PROOF OF THE CORRECTNESS OF THE ALGORITHM 79
5.4 Proof of the Correctness of the Algorithm
5.4.1 Control Languages
5.4.2 Parsing Schemata
5.4.3 Parsing Schemata for GIGs
5.5 Implementation
5.6 LR parsing for GILs
5.6.1 LR items and viable prefixes
5.6.2 The Closure Operation
5.6.3 The Goto Operation
Applicability of GIGs
6.1 Linear Indexed Grammars (LIGs) and Global Index Gram-
6.1.1 Control of the derivation in LIGs and GIGs
6.1.2 The palindrome language
6.1.3 The Copy Language
6.1.4 Multiple dependencies
6.1.5 Crossing dependencies
6.2 Set Inclusion between GIGs and LIGs
6.2.1 LIGs in push-Greibach Normal Form
6.3 GIGs and HPSGs
Conclusions and Future Work
7.1 Future Work
0 of .
Results for:
No results containing your search query
P. 1
10.1.1.121.8248

10.1.1.121.8248

Ratings: (0)|Views: 1,088 |Likes:
Published by Dayal Dilli

More info:

Published by: Dayal Dilli on Feb 27, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/24/2011

pdf

text

original

You're Reading a Free Preview
Pages 4 to 56 are not shown in this preview.
You're Reading a Free Preview
Pages 59 to 152 are not shown in this preview.

Activity (3)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Aditya Harbola liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->