Terms of type τ are defined inductively using an indexed set (fi)i∈I of
operation symbols, where fi
is ni-ary, and a countably infinite set X :=
{x1, x2, . . . , xn, . . .} of variables. We denote by Wτ (X) the set of all terms
of finite type τ = (ni)i∈I , by Wτ (Xn) the set of all n-ary terms of type
τ and by Fτ (Xn) = (Wτ (Xn); ( ¯fi)i∈I ) the absolutely free algebra of type
τ generated by the n-element alphabet Xn = {x1, . . . , xn}. Any element
of the power set P(Wτ (X)) is called a tree language. Our restriction to a
finite type is motivated by applications in Computer Science. In [1] (see
also [2] and [3]) on the set P(Wτ (X)) an (n+1)-ary superposition operation
Sˆn
g
: P(Wτ (X))n+1 → P(Wτ (X)) is inductively defined by the following
steps:
กำหนดเงื่อนไขของτชนิด inductively ใช้ i∈I การจัดทำดัชนี set (fi) ของสัญลักษณ์การดำเนินการ ซึ่งรวมถึงเป็น ni ary และชุด countably infinite X: ={ x1, x2,..., xn, ... . } ของตัวแปร เราแทนด้วย Wτ (X) ชุดของเงื่อนไขทั้งหมดชนิดจำกัดτ = i∈I (ni) โดย Wτ (Xn) ชุดของเงื่อนไขทั้งหมด ary n ชนิดΤและ โดย Fτ (Xn) = ((Xn); Wτ i∈I (¯fi)) พีชคณิตฟรีชนิดสร้างขึ้น โดยตัวอักษร n องค์ประกอบ Xn τ = {x1,..., xn } องค์ประกอบใด ๆพลัง P ชุด (Wτ (X)) เรียกว่าภาษาต้น ข้อจำกัดของเราเป็นจำกัดประเภทคือแรงจูงใจ โดยการใช้งานในวิทยาการคอมพิวเตอร์ ใน [1] (ดูยัง [2] และ [3]) บนชุด P (Wτ (X)) (n + 1) -ดำเนินการ ary superpositionSˆnกรัม: P (Wτ (X)) n + 1 → P (Wτ (X)) ที่ถูกกำหนด inductively โดยต่อไปนี้ขั้นตอน:
การแปล กรุณารอสักครู่..
แง่ของประเภทτมีการกำหนด inductively โดยใช้ชุดการจัดทำดัชนี (FI) i∈Iของ
สัญลักษณ์การดำเนินงานที่ Fi
เป็น Ni-Ary และอนันต์วท์ชุด X =
{X1, X2, . . , xn, . .} ของตัวแปร เราใช้แสดงโดยWτ (X) ชุดของแง่ทุก
ประเภทτ = จำกัด (NI) i∈IโดยWτ (Xn) ชุดของคำ n- เกี่ยวทุกชนิด
τและFτ (Xn) = (Wτ ( xn); (FI) i∈I) พีชคณิตฟรีอย่างแน่นอนจากประเภท
τสร้างโดยตัวอักษร n-องค์ประกอบ xn = {X1, . . , xn} องค์ประกอบใด ๆ
ของชุดพลังงาน P (Wτ (X)) เรียกว่าภาษาต้นไม้ ข้อ จำกัด ของเราที่จะ
จำกัด ประเภทเป็นแรงจูงใจจากการใช้งานในด้านวิทยาศาสตร์คอมพิวเตอร์ ใน [1] (ดู
ยัง [2] และ [3]) ในตลาดหลักทรัพย์ P (Wτ (X)) ความ (N + 1) การดำเนินการทับซ้อน -ary
Sn
G
: P (Wτ (X)) 1 + n → P (Wτ (X)) ถูกกำหนด inductively โดยทำตาม
ขั้นตอน
การแปล กรุณารอสักครู่..