Docstoc
EXCLUSIVE OFFER FOR DOCSTOC USERS
Try the all-new QuickBooks Online for FREE.  No credit card required.

Formal Languages and Formal Grammars

Document Sample
Formal Languages and Formal Grammars Powered By Docstoc
					Formal Languages and Formal Grammars

แนวความคิดส่วนใหญ่ในบทนี้ จะคล้ายคลึงกับแนวความคิดที่ถูก ใช้ในภาษาธรรมชาติ เช่น ภาษาอังกฤษ
บางคาจากัดความที่นามากล่าวในบทนี้ เป็นข้อเท็จจริงแรกเริ่มพัฒนามาจากภาษาธรรมชาติ (Natural
Language )
คาว่า Language ในที่นี้จะใช้ในความหมายเดียวกันกับ คาว่า เซตของลาดับ ดังนั้น สามารถกล่าวได้ว่าภาษา
FORTRAN IV คือเซตของลาดับที่ถูกกาหนดโดย เซตบางเซตที่มี การระบุรายละเอียดอย่างมีหลักเกณฑ์ภาษา
ที่เป็นที่นิยมส่วนใหญ่ เช่น FORTRAN IV จะประกอบไปด้วยเซตของลาดับ ไม่จากัดจานวน (infinite set
of sequence)
เพื่อแยกความแตกต่างระหว่างการใช้คาว่า language ในความหมายของเซตลาดับกับคาว่า language
ที่เป็นภาษาที่ใช้ในการสนทนาในชีวิตประจาวัน บางครั้งจึงจะใช้คาว่า formal language แทน คาว่า
language ในความหมายของเซตลาดับ
เพื่อที่จะแก้ปัญหาของภาษาและการประมวลผลภาษาทางคอมพิวเตอร์ เราจะต้อง
จากัดตัวเองให้อยู่ในขอบเขตที่ชัดเจน ซึ่งมีวิธีการมากมายในการกาหนดขอบเขตที่ชัดเจนของแต่ละเซต
ทางหนึ่งที่ใช้ได้คือ กาหนดภาษาให้เป็นเซตที่ถูกยอมรับโดย sequence recognizer บางชนิด ได้แก่ finite-
state หรือ push down machine อีกทางหนึ่ง อาจใช้ grammar มาช่วย
ในการกาหนดขอบเขตที่ชัดเจนของแต่ละเซต
คาว่า formal grammar ถูกนามาใช้กับการกาหนด formal language โดยอาศัย grammatical rules
ซึ่ง sequence สามารถถูกสร้างหรือวิเคราะห์ในแนวทางที่คล้ายกับการใช้grammar
ในการเรียกภาษาธรรมชาติ ในบทนี้เราจะกล่าวถึงชนิดของ grammar ที่เจาะจงลงไป ที่เราเรียกว่า Context-
free grammar

				
Lingjuan Ma Lingjuan Ma
About