Function application is represented

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:

โปรแกรมประยุกต์ฟังก์ชันจะถูกแสดงด้วยติดปิดตัวเลข และลูกศรชี้จากฟังก์ชันใช้อาร์กิวเมนต์ของพวกเขา ใน VEX ฟรี และตัวระบุขอบเขตที่ยอมรับได้อย่างง่ายดาย ตัวระบุเชื่อมต่อ โดยขอบ undirected รากมีป้ายชื่อโหน ตัวบ่งชี้ที่ฟรีเชื่อมต่อกับรากซึ่งไม่ใช่ภายในและเส้นที่สัมผัสแหวนใด ๆ ในขณะที่ถูกผูกไว้ตัวบ่งชี้มีการเชื่อมต่อกับรากสัมผัสภายใน ดังนั้น ในรูป 12 ระบุ 2 ไม่มีในนิพจน์ในขณะที่รหัส 5 ถูกผูกไว้ภายในนิพจน์ที่แสดง โดยแหวน 3 มีภาพเทียบเท่ารับการ - แปลง, - ลด และ - ลด แต่รายละเอียดการอภิปรายเหล่านี้อยู่นอกเหนือการขอบเขตของรายงานนี้

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

การประยุกต์ใช้ฟังก์ชั่นเป็นตัวแทนจากตัวเลขปิดที่อยู่ติดกันและลูกศรชี้จากฟังก์ชั่นที่ใช้ในการโต้แย้งของพวกเขา ใน VEX
ฟรีและตัวบ่งชี้ที่ถูกผูกไว้จะรับรู้ได้อย่างง่ายดาย ระบุแต่ละครั้งจะถูกเชื่อมต่อกันด้วยขอบ undirected
ให้รากติดป้ายโหนด ระบุฟรีเชื่อมต่อกับรากที่ไม่ได้ทั้งภายในและสัมผัสกับแหวนใด ๆ
ในขณะที่ถูกผูกไว้ระบุมีการเชื่อมต่อไปที่รากสัมผัสภายใน ดังนั้นในรูปที่ 12 ตัวบ่งชี้ 2
ฟรีโดยรวมในการแสดงออกในขณะที่ระบุ5 ถูกผูกไว้ภายในการแสดงออกที่แสดงโดยแหวน 3.
เทียบเท่ากราฟิกได้รับการวางแผนสำหรับ? -conversion, -reduction และ? -reduction แต่การอภิปรายรายละเอียดเหล่านี้
อยู่นอกเหนือขอบเขตของรายงานฉบับนี้