Definition 4.4. A GADL L with 0, is

Definition 4.4. A GADL L with 0, is called disjunctive iff for all a, b ∈ L,
[a]∗ = [b]∗ implies a = b.

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

ความละเอียด 4.4 L GADL 0 เรียกว่าลักษณะที่แยกออก IFF สำหรับทุกข∈ L,
[] = [b] * หมายถึง b =

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

คำนิยาม 4.4 . เป็น gadl l 0 เรียกว่า IFF ดิซจังทั้ง A , B ∈ L ,
[ ] ∗ = [ B ] ∗บาง = B