A Direct Semantics of Declarative Disambiguation Rules

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

LUIS EDUARDO S. AMORIM (Delft University of Technology)
TIMOTHE ́E HAUDEBOURG (ENS Rennes)
MICHAEL J. STEINDORFER (Delft U...

What is the meaning of associativity and priority declarations?
!2

!3
Major revision of TOPLAS submission
Work in progress
68 pages

What is the meaning of a set of disambiguation rules for a grammar?
- What are the parse trees associated with sentences i...

Expression grammars
- Sub-classes of CFGs with decidable ambiguity

- Extraction of embedded expression grammars

Harmless...

This Talk
!6

Grammars and Ambiguity
8

Grammars, Well-Formed Trees, Languages
!9

Parsing
!10

Derivations
!11
Lemma 2.5. A parse tree directly corresponds to a derivation,
modulo the order in which productions are ap...

Parse Tree to Abstract Syntax Tree
!12

Tree Patterns and Pattern Matching
!13

Tree Patterns and Pattern Matching: Example
!14

Ambiguity
!15

Explicit Disambiguation (Brackets)
!16

Disambiguation Filter
!17

Subtree Exclusion Filter
!18

Trees under Subtree Exclusion
!19

Safety and Completeness
!20

Expression Grammars
21

Embedded Expression Grammars
!22

Classes of Expression Grammars
!23
Basic Distﬁx Indirectly recursive

Expression Grammar Hierarchy
!24

Inﬁx Expression Grammars
25

Inﬁx Expression Grammars
!26

Grammar Rewriting
!27

SDF2 Semantics
!28

Subtree Exclusion is Safe
!29

Subtree Exclusion is Safe
!30

Subtree Exclusion is Safe
!31

Subtree Exclusion is Safe
!32

Total Set of Disambiguation Rules
!33

Subtree Exclusion is Complete
!34

Subtree Exclusion is Complete
!35

Subtree Exclusion is Complete
!36

Subtree Exclusion is Complete
!37

Subtree Exclusion is Complete
!38

Disambiguation for Inﬁx Expression is Safe and Complete
!39

Deep Priority Conﬂicts
40

Preﬁx Expression Grammars
!41

SDF2 Semantics is Unsafe for Preﬁx Expression Grammars
!42

Safe Semantics
!43

Safe Semantics for Shallow Conﬂicts
!44

Deep Priority Conﬂicts
!45

Rightmost Deep Matching
!46

Rightmost Deep Matching
!47

Rightmost Deep Priority Conﬂict Pattern
!48

Etc.
49

Share Slideshare

LinkedIn
Facebook
Twitter

Embed

Size (px)

Show related Slideshows at end

WordPress Shortcode

Link

Share
Email

2024 Trend Updates: What Really Wor... by Search Engine Jou... 1036216 views
Storytelling For The Web: Integrate... by Chiara Aliotta 948112 views
Artificial Intelligence, Data and C... by OECD Directorate ... 870219 views
How to Leverage AI to Boost Employe... by SocialHRCamp 365506 views
2024 State of Marketing Report – by... by Marius Sescu 207694 views
Everything You Need To Know About C... by Expeed Software 227895 views

View on Slideshare

1 of 49 Ad

View on Slideshare

1 of 49 Ad