ดาวน์โหลด UCFS - ดาวน์โหลดซอร์สโค้ด UCFS

UCFS

ซอร์สโค้ดอื่น ๆ

1.0.0

ดาวน์โหลด

UCFS

สร้าง ทดสอบ

เกี่ยวกับ
การใช้งาน
- จากแหล่งที่มา
- ใช้ขวด
- ตัวอย่างรูปแบบ CFG
- ตัวอย่างรูปแบบ RSM
ผลงาน
- กราฟ
- ไวยากรณ์
- ผลลัพธ์
- ผลลัพธ์เพิ่มเติม

หมายเหตุ: โครงการภายใต้การพัฒนาอย่างหนัก!

เกี่ยวกับ

UCFS เป็น u nuversal c ontext- f ree s olver: เครื่องมือในการแก้ปัญหาที่เกี่ยวข้องกับการแยกภาษาที่ปราศจากบริบทและภาษาปกติ ตัวอย่างของปัญหาดังกล่าว:

การแยกวิเคราะห์
การสืบค้นเส้นทางที่ปราศจากบริบท (CFPQ)
ความสามารถในการเข้าถึงภาษาที่ปราศจากบริบท (CFL-R)

การใช้งาน

อินเตอร์เฟสบรรทัดคำสั่ง

 Usage: kotgll options_list
Options: 
    --input -> Input format (always required) { Value should be one of [string, graph] }
    --grammar -> Grammar format (always required) { Value should be one of [cfg, rsm] }
    --sppf [ON] -> Sppf mode { Value should be one of [on, off] }
    --inputPath -> Path to input txt file (always required) { String }
    --grammarPath -> Path to grammar txt file (always required) { String }
    --outputPath -> Path to output txt file (always required) { String }
    --help, -h -> Usage info

จากแหล่งที่มา

ขั้นตอนที่ 1. ที่เก็บโคลน

git clone https://github.com/FormalLanguageConstrainedPathQuerying/kotgll.git

หรือ

git clone [email protected]:FormalLanguageConstrainedPathQuerying/kotgll.git

หรือ

gh repo clone FormalLanguageConstrainedPathQuerying/kotgll

ขั้นตอนที่ 2. ไปที่โฟลเดอร์

cd kotgll

ขั้นตอนที่ 3. เรียกใช้คำสั่งช่วยเหลือ

gradle run --args="--help"

คุณจะเห็นข้อความ "รายการตัวเลือก"

ตัวอย่าง

 gradle run --args="--input graph --grammar rsm --sppf off --inputPath src/test/resources/cli/TestGraphReadWriteCSV/dyck.csv --grammarPath src/test/resources/cli/TestRSMReadWriteTXT/dyck.txt --outputPath ./result.txt"

ใช้ขวด

ขั้นตอนที่ 1. ดาวน์โหลดโถล่าสุด

 curl -L -O https://github.com/FormalLanguageConstrainedPathQuerying/kotgll/releases/download/v1.0.0/kotgll-1.0.0.jar

ขั้นตอนที่ 2. เรียกใช้โถด้วย java

 java -jar kotgll-1.0.0.jar --input graph --grammar rsm --sppf off --inputPath src/test/resources/cli/TestGraphReadWriteCSV/dyck.csv --grammarPath src/test/resources/cli/TestRSMReadWriteTXT/dyck.txt --outputPath ./result.txt

ตัวอย่างรูปแบบ CFG

 StartNonterminal("S")
Nonterminal("S") -> Terminal("subClassOf_r") Nonterminal("S") Terminal("subClassOf")
Nonterminal("S") -> Terminal("subClassOf_r") Terminal("subClassOf")
Nonterminal("S") -> Terminal("type_r") Nonterminal("S") Terminal("type")
Nonterminal("S") -> Terminal("type_r") Terminal("type")

ตัวอย่างรูปแบบ RSM

 StartState(id=0,nonterminal=Nonterminal("S"),isStart=true,isFinal=false)
State(id=0,nonterminal=Nonterminal("S"),isStart=true,isFinal=false)
State(id=1,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
State(id=4,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
State(id=3,nonterminal=Nonterminal("S"),isStart=false,isFinal=true)
State(id=2,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
State(id=6,nonterminal=Nonterminal("S"),isStart=false,isFinal=true)
State(id=5,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
TerminalEdge(tail=0,head=1,terminal=Terminal("subClassOf_r"))
TerminalEdge(tail=0,head=4,terminal=Terminal("type_r"))
TerminalEdge(tail=1,head=3,terminal=Terminal("subClassOf"))
NonterminalEdge(tail=1,head=2,nonterminal=Nonterminal("S"))
TerminalEdge(tail=4,head=6,terminal=Terminal("type"))
NonterminalEdge(tail=4,head=5,nonterminal=Nonterminal("S"))
TerminalEdge(tail=2,head=3,terminal=Terminal("subClassOf"))
TerminalEdge(tail=5,head=6,terminal=Terminal("type"))

ผลงาน

อัลกอริทึม GLL ได้รับการแก้ไขเพื่อรองรับการป้อนข้อมูลกราฟ การปรับเปลี่ยนที่เสนอได้รับการประเมินบนกราฟจริงหลายประการสำหรับสถานการณ์ของการค้นหาความสามารถในการเข้าถึงคู่ทั้งหมด

การกำหนดค่าเครื่อง : พีซีที่มี Ubuntu 20.04, Intel Core i7-6700 3.40GHz CPU, DDR4 64GB RAM

การกำหนดค่าสภาพแวดล้อม :

Java Hotspot (TM) เครื่องเสมือนเซิร์ฟเวอร์ 64 บิต (สร้าง 15.0.2+7-27, โหมดผสม, การแชร์)
การกำหนดค่า JVM HEAP: 55GB ทั้ง XMS และ XMX

กราฟ

ข้อมูลกราฟถูกเลือกจากชุดข้อมูล CFPQ_DATA

คำอธิบายโดยละเอียดของกราฟแสดงไว้ในรายการตะโกน

กราฟการวิเคราะห์ RDF

ชื่อกราฟ	- V \|	- E \|	#subclassof	#พิมพ์	#broaderTransitive
เอนไซม์	48 815	86 543	8 163	14 989	8 156
สิ่งมีชีวิต	239 111	360 248	90 962	72 517	0
ไปตามลำดับชั้น	45 007	490 109	490 109	0	0
ไป	582 929	1 437 437	94 514	226 481	0
รูปทรง	450 609	2 201 532	0	89 065	20 867
อนุกรมวิธาน	5 728 398	14 922 125	2 112 637	2 508 635	0

ไวยากรณ์

คำค้นหาทั้งหมดที่ใช้ในการประเมินผลเป็นตัวแปรของแบบสอบถามรุ่นเดียวกัน ผกผันของความสัมพันธ์ x และขอบที่เกี่ยวข้องนั้นแสดงเป็น x_r

ไวยากรณ์ที่ใช้สำหรับกราฟ RDF :

G ₁

 S -> subClassOf_r S subClassOf | subClassOf_r subClassOf 
     | type_r S type | type_r type

การเป็นตัวแทนของไวยากรณ์ที่ปราศจากบริบท G ₁ ในที่เก็บสามารถพบได้ที่นี่

การเป็นตัวแทนของไวยากรณ์ที่ปราศจากบริบท G ₁ เป็นหุ่นยนต์แบบเรียกซ้ำในที่เก็บสามารถพบได้ที่นี่

ผลลัพธ์

ผลลัพธ์ของการประเมิน ความสามารถในการเข้าถึงคู่ทั้งหมด บนกราฟที่เกี่ยวข้องกับ การวิเคราะห์ RDF แสดงอยู่ด้านล่าง

ในแต่ละแถวเวลาเฉลี่ยที่ดีที่สุดในไม่กี่วินาทีจะถูกเน้นด้วย ตัวหนา

กราฟ	CFG	RSM	gll4graph
เอนไซม์	0.107	0.044	0.22
สิ่งมีชีวิต	0.94	0.43	1.5
ไปตามลำดับชั้น	4.1	3.0	3.6
ไป	3.2	1.86	5.55
รูปทรง	0.97	0.34	2.89
อนุกรมวิธาน	31.2	14.8	45.4