The VIPR group has also developed a

The VIPR group has also developed a visual representation for the lambda calculus which they refer to
as VEX for Visual EXpressions. VEX is intended to become an expression-oriented component of VIPR
[Citrin et al. 1995]. We will only take a brief look at its major features. Figure 11 shows the textual and
visual representations for the Y combinator. As in VIPR, parameters are represented by small circles inside
and tangent to main rings, so f and x are parameters in the example. Function application is represented by
adjacent closed figures, and arrows point from the applied functions to their argument. In VEX, free and
bound identifiers are easily recognized. Each identifier is connected by an undirected edge to a labeled root
node. Free identifiers are connected to roots which are not inside and tangent to any rings, while bound
identifiers are connected to internally tangent roots. Thus, in Figure 12 identifier 2 is free in the overall
expression while identifier 5 is bound inside the expression represented by ring 3. Graphical equivalents have
been devised for -conversion, -reduction, and -reduction, but a detailed discussion of these is beyond the
scope of this report.

ผลลัพธ์ (ไทย) 1:

กลุ่ม VIPR ยังพัฒนาแสดงภาพสำหรับแคลคูลัสแลมบ์ดาซึ่งมีความหมายขณะกวนสำหรับแสดงนิพจน์ VEX มีวัตถุประสงค์เพื่อเป็น ส่วนประกอบมุ่งเน้นการแสดงออกของ VIPR[Citrin et al. 1995] เราจะใช้คุณสมบัติหลัก รูปที่ 11 แสดงการเป็นข้อความ และตัวแทนสำหรับ Y combinator เช่น VIPR พารามิเตอร์จะแสดง โดยวงกลมเล็ก ๆ ภายในและสัมผัสกับวงแหวนหลัก f และ x ดังนั้นพารามิเตอร์ในตัวอย่าง โปรแกรมประยุกต์ฟังก์ชันจะถูกแสดงด้วยติดปิดตัวเลข และลูกศรชี้จากฟังก์ชันใช้อาร์กิวเมนต์ของพวกเขา ใน VEX ฟรี และตัวระบุขอบเขตที่ยอมรับได้อย่างง่ายดาย ตัวระบุเชื่อมต่อ โดยขอบ undirected รากมีป้ายชื่อโหน ตัวบ่งชี้ที่ฟรีเชื่อมต่อกับรากซึ่งไม่ใช่ภายในและเส้นที่สัมผัสแหวนใด ๆ ในขณะที่ถูกผูกไว้ตัวบ่งชี้มีการเชื่อมต่อกับรากสัมผัสภายใน ดังนั้น ในรูป 12 ระบุ 2 ไม่มีในนิพจน์ในขณะที่รหัส 5 ถูกผูกไว้ภายในนิพจน์ที่แสดง โดยแหวน 3 มีภาพเทียบเท่ารับการ - แปลง, - ลด และ - ลด แต่รายละเอียดการอภิปรายเหล่านี้อยู่นอกเหนือการขอบเขตของรายงานนี้

ผลลัพธ์ (ไทย) 2:

กลุ่ม VIPR
ยังได้มีการพัฒนาสำหรับการแสดงภาพแคลคูลัสแลมบ์ดาที่พวกเขาอ้างถึงเป็นVEX สำหรับ Visual การแสดงออก VEX มีจุดมุ่งหมายเพื่อกลายเป็นองค์ประกอบที่มุ่งเน้นการแสดงออกของ VIPR
[ซิทริน et al, 1995] เราจะใช้เวลาดูสั้นที่คุณสมบัติที่สำคัญของ รูปที่ 11
แสดงให้เห็นว่าเป็นข้อความและการแสดงภาพสำหรับY Combinator ในขณะที่ VIPR
พารามิเตอร์จะถูกแทนด้วยวงกลมขนาดเล็กภายในและสัมผัสกับแหวนหลักดังนั้นฉและx เป็นพารามิเตอร์ในตัวอย่าง
การประยุกต์ใช้ฟังก์ชั่นเป็นตัวแทนจากตัวเลขปิดที่อยู่ติดกันและลูกศรชี้จากฟังก์ชั่นที่ใช้ในการโต้แย้งของพวกเขา ใน VEX
ฟรีและตัวบ่งชี้ที่ถูกผูกไว้จะรับรู้ได้อย่างง่ายดาย ระบุแต่ละครั้งจะถูกเชื่อมต่อกันด้วยขอบ undirected
ให้รากติดป้ายโหนด ระบุฟรีเชื่อมต่อกับรากที่ไม่ได้ทั้งภายในและสัมผัสกับแหวนใด ๆ
ในขณะที่ถูกผูกไว้ระบุมีการเชื่อมต่อไปที่รากสัมผัสภายใน ดังนั้นในรูปที่ 12 ตัวบ่งชี้ 2
ฟรีโดยรวมในการแสดงออกในขณะที่ระบุ5 ถูกผูกไว้ภายในการแสดงออกที่แสดงโดยแหวน 3. เทียบเท่ากราฟิกได้รับการวางแผนสำหรับ? -conversion, -reduction และ? -reduction แต่การอภิปรายรายละเอียดเหล่านี้ อยู่นอกเหนือขอบเขตของรายงานฉบับนี้