ข้ามไปที่เนือ้หา
New proofs of old theorems in logic and formal linguistics. แสดงตัวอย่างรายการนี้
ปิดแสดงตัวอย่างรายการนี้
ตรวจสอบ...

New proofs of old theorems in logic and formal linguistics.

ผู้แต่ง: Robert W Floyd; CARNEGIE INST OF TECH PITTSBURGH PA.
สำนักพิมพ์: Ft. Belvoir Defense Technical Information Center NOV 1966.
ครั้งที่พิมพ์/รูปแบบ:   Print book : ภาษาอังกฤษ
ฐานข้อมูล:WorldCat
สรุป:
Theorem 1 constructs, from any word problem in a semi-Thue system, an equivalent Post correspondence problem, showing the undecidability of the general Post correspondence problem. Theorem 2 constructs, from any Post correspondence problem, a minimal linear grammar which is ambiguous exactly if the Post correspondence problem has a solution, showing the undecidability of the general ambiguity problem. (Other  อ่านมากขึ้น…
คะแนน:

(ยังไม่ให้คะแนน) 0 กับความคิดเห็น - เป็นคนแรก

หัวเรื่อง
เพิ่มเติมเช่นนี้

 

ค้นหาสำเนาในห้องสมุด

&AllPage.SpinnerRetrieving; ค้นหาห้องสมุดที่มีรายการนี้

รายละเอียด

ประเภทของเอกสาร: หนังสือ
ผู้แต่งทั้งหมด : ผู้แต่งร่วม Robert W Floyd; CARNEGIE INST OF TECH PITTSBURGH PA.
OCLC Number: 227469361
หมายเหตุ: Prepared in cooperation with Computer Associates, Inc., Auburn, Mass., Contract AF 30(602)-3342.
คำอธิบาย: 19 pages

บทคัดย่อ:

Theorem 1 constructs, from any word problem in a semi-Thue system, an equivalent Post correspondence problem, showing the undecidability of the general Post correspondence problem. Theorem 2 constructs, from any Post correspondence problem, a minimal linear grammar which is ambiguous exactly if the Post correspondence problem has a solution, showing the undecidability of the general ambiguity problem. (Other standard undecidability results on phrase structure grammars are implied.) Theorem 3 constructs, from any word problem in a semi-Thue system, an ambiguity problem, combining the results of Theorem 1 and 2 by more direct means. No new results are presented, but standard proofs were shortened and constructions eliminated, combined, or simplified. (Author).

รีวิว

ความคิดเห็นผู้ที่ใช้งาน
กำลังค้นคืน รีวิว GoodReads…
ค้นคืน DOGObooks บทวิจารณ์

แท็ก

เป็นคนแรก.

รายการคล้ายกัน

หัวเรื่องที่เกี่ยวข้อง:(4)

ยืนยันคำขอนี้

คุณอาจะร้องขอรายการนี้แล้. โปรดเลือก ตกลง ถ้าคุณต้องการดำเนินการคำขอนี้ต่อไป.

เชิ่อมโยงข้อมูล


Primary Entity

<http://www.worldcat.org/oclc/227469361> # New proofs of old theorems in logic and formal linguistics.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227469361" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1862883504#Place/ft_belvoir> ; # Ft. Belvoir
    schema:about <http://experiment.worldcat.org/entity/work/data/1862883504#Topic/theorems> ; # Theorems)
    schema:about <http://experiment.worldcat.org/entity/work/data/1862883504#Topic/linguistics> ; # Linguistics
    schema:about <http://experiment.worldcat.org/entity/work/data/1862883504#Topic/grammars> ; # Grammars
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1862883504#Organization/carnegie_inst_of_tech_pittsburgh_pa> ; # CARNEGIE INST OF TECH PITTSBURGH PA.
    schema:contributor <http://viaf.org/viaf/9939181> ; # Robert W. Floyd
    schema:datePublished "NOV 1966" ;
    schema:datePublished "1966" ;
    schema:description "Theorem 1 constructs, from any word problem in a semi-Thue system, an equivalent Post correspondence problem, showing the undecidability of the general Post correspondence problem. Theorem 2 constructs, from any Post correspondence problem, a minimal linear grammar which is ambiguous exactly if the Post correspondence problem has a solution, showing the undecidability of the general ambiguity problem. (Other standard undecidability results on phrase structure grammars are implied.) Theorem 3 constructs, from any word problem in a semi-Thue system, an ambiguity problem, combining the results of Theorem 1 and 2 by more direct means. No new results are presented, but standard proofs were shortened and constructions eliminated, combined, or simplified. (Author)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1862883504> ;
    schema:inLanguage "en" ;
    schema:name "New proofs of old theorems in logic and formal linguistics."@en ;
    schema:productID "227469361" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227469361#PublicationEvent/ft_belvoirdefense_technical_information_centernov_1966> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1862883504#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227469361> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1862883504#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862883504#Organization/carnegie_inst_of_tech_pittsburgh_pa> # CARNEGIE INST OF TECH PITTSBURGH PA.
    a schema:Organization ;
    schema:name "CARNEGIE INST OF TECH PITTSBURGH PA." ;
    .

<http://experiment.worldcat.org/entity/work/data/1862883504#Topic/linguistics> # Linguistics
    a schema:Intangible ;
    schema:name "Linguistics"@en ;
    schema:name "(Linguistics"@en ;
    .

<http://viaf.org/viaf/9939181> # Robert W. Floyd
    a schema:Person ;
    schema:familyName "Floyd" ;
    schema:givenName "Robert W." ;
    schema:name "Robert W. Floyd" ;
    .


Content-negotiable representations

Close Window

กรุณาลงชื่อเข้าสู่ระบบ WorldCat 

ยังไม่มีบัญชีผู้ใช้? คุณสามารถสร้างได้อย่างง่ายดาย สร้างบัญชีผู้ใช้ฟรี.