# Presentation (PDF)

### File information

Title: Implementation Oriented Language Targeted Goto {((x.x x)(y.y y))} Guide:
Author: Roscoe S. Casita

This PDF 1.5 document has been generated by LaTeX with Beamer class version 3.33 / pdfTeX-1.40.15, and has been sent on pdf-archive.com on 02/12/2015 at 22:04, from IP address 157.245.x.x. The current document download page has been viewed 554 times.
File size: 970.77 KB (27 pages).
Privacy: public file

### File preview

Implementation Oriented
Language Targeted
Goto {((λx.xx)(λy .yy ))} Guide:
Roscoe S. Casita
University of Oregon

December 2, 2015

λ Calculus to − calculate: One Axiom, One Reduction

Core Axiom: α non-naming equivalence: (λy .y y ) == (λx.x x)

Core Reduction: β replacement: Replace x with a is this operator
[a/x]

Identity Function = ((λx.x)a) ↓ (x)[a/x] ↓ (a)
Identity applied to identity = ((λx.x)(λy .y )) ⇒ (λy .y )
Infinite Loop = ((λy .y y )(λx.x x)) ⇒ ((λx.x x)(λx.x x))∞

Problem statement: Implement a λ expression evaluator
λ Calculus can model all computations, even evaluate itself.
Evaluate stepwise PRED(SUCC ZERO) ⇒ ZERO as test.
Interpret ((λx.xx)(λy .yy )) ... FOREVER!

Parser Generate : Grammar ⇒ lexical -parser
Parser Engine : lexical -parser + λ expression ⇒ parse-tree
Translater : parse-tree ⇒ expression-tree.
Interpreter : expression-tree ⇒ expression-tree until done.

Overview of the pipeline:
From text-strings to Data evaluating Data as Code:

Parser Generator: Add λ-grammar -definition-rules ⇒
λ-Parser

Divergent directions...

Grammars are a language... thus a meta-language encoding exists

Let’s define a grammar that defines a grammar.

Let’s ensure the grammar definition can parse its OWN definition!

THE GRAMMAR PARSING GRAMMAR!!!!!

Parser Generator: Add λ-grammar -definition-rules ⇒
λ-Parser

Pit Falls in “commonly repeated” λ-grammars:

&lt;exp&gt;::==&lt;var&gt; |(λ &lt;var&gt; . &lt;exp&gt;)|(&lt;exp&gt;&lt;exp&gt;)

This is not an adequate grammar unless you LOVE lots of “()”

λx.λy .y (xx) must be written as (λx.(λy .((y (xx)))))

Nested variable capture is an advanced topic: λx.λy .x((λx.x)y )

Presentation.pdf (PDF, 970.77 KB)

#### HTML Code

Copy the following HTML code to share your document on a Website or Blog