ในคำอื่น ๆ ภาษาที่ทุกสายที่เป็นไปได้คือไวยากรณ์ที่ถูกต้อง?

แก้ไข : นี่คือคำถามเชิงทฤษฎี
ฉันไม่มีความสนใจในการใช้ภาษาดังกล่าว ฉันแค่ถามว่ามันเป็นไปได้

แก้ไขเพิ่มเติม

ฉันไปข้างหน้าภาษาดังกล่าวที่ออกแบบมา ดูErrorFree

ใช่ถ้าคุณดูสิ่งนี้ในลักษณะที่วิเคราะห์ได้อย่างชัดเจนการสร้างเครื่องทัวริงที่กำหนดขึ้นซึ่งมักจะหยุดอยู่ในสถานะสุดท้ายที่ดีสำหรับทุก ๆ สตริงของภาษาใดภาษาหนึ่ง การสาธิตจะตรงไปตรงมาคุณต้อง TM ปกติด้วยฟังก์ชันการเปลี่ยนที่มีการเปลี่ยนเพียงครั้งเดียวซึ่งมีลักษณะดังนี้:

TF(w,q) -> (w,Qa) 

Considerations:
    L = { w | w is any possible string }
    w e L
    q e Q
    F is a set with all good final states {Qa,Qr}
    Qa e F

มันถูก demostrated ว่า TM มีพลังการคำนวณเช่นเดียวกับคอมพิวเตอร์ในชีวิตจริงเดียวดังนั้นมันจึงเป็นไปได้อย่างแน่นอน

ใช่แน่นอนมันเป็นไปได้มันง่ายมาก ๆ

<programm> ::= char | char <program> |

ฉันไม่เข้าใจว่าใครสามารถพูดว่า "ไม่" ที่กล่าวว่าอาจยากที่จะกำหนด semantic ที่มีความหมายสำหรับภาษาดังกล่าว แต่ก็เป็นไปได้เช่นกัน ดูเพียงแค่ในช่องว่าง

ฉันเดาว่ามันขึ้นอยู่กับสิ่งที่คุณหมายถึงโดยไวยากรณ์ที่ถูกต้อง

คุณสามารถออกแบบภาษาที่ยอมรับสตริงใด ๆ แต่ไม่สนใจสิ่งที่ไม่ได้กำหนดความหมายเฉพาะ โดยพื้นฐานแล้วนี่เทียบเท่ากับการพูดว่า "ฉันจะกำจัดข้อผิดพลาดทางไวยากรณ์ แต่บอกว่าพวกเขาไม่ใช่ข้อผิดพลาด" - ค่อนข้างไร้จุดหมายและไม่เป็นที่ต้องการอย่างมากด้วยเหตุผลหลายประการ

ยิ่งไปกว่านั้นวิธีเดียวที่คุณสามารถมีภาษาที่ไม่มีข้อผิดพลาดทางไวยากรณ์คือการมีสตริงที่เป็นไปได้ทั้งหมดมีคำสั่ง / การใช้งานที่ถูกต้องที่เกี่ยวข้อง วิธีเดียวที่ฉันเห็นได้ว่าจะต้องมีการดำเนินการทั้งหมดเป็นอักขระเดี่ยวและเพื่อให้แน่ใจว่าอักขระทุกตัวมีการดำเนินการที่กำหนดไว้

มีสิ่งผิดปกติหลายล้านอย่าง - เห็นได้ชัดว่าไม่มีคำที่สงวนไว้มันเป็นเรื่องเกี่ยวกับที่ใช้ในบริบทและผลที่ตามมามันจะอ่านไม่ออกโดยทั่วไปและในขณะที่ภูมิคุ้มกันจากข้อผิดพลาดทางไวยากรณ์จะมีแนวโน้มมากกว่า ของข้อผิดพลาด

เป็นไปได้ในทางทฤษฎี (AmmoQ ทำให้มันดูเป็นระเบียบมากกว่าฉัน) แต่ไม่เป็นที่พึงปรารถนา

รหัสในภาษาการเขียนโปรแกรมที่ไม่ใช่ข้อความอาจไม่มีข้อผิดพลาดทางไวยากรณ์

ฉันคิดของภาษาภาพเหมือนBYOB คุณไม่สามารถพิมพ์ "โดยไม่ได้ตั้งใจถ้า x สิบอื่น foo" เพราะ "ไวยากรณ์" ถูกกำหนดโดยบล็อกกราฟิก

วัตถุประสงค์ของวากยสัมพันธ์คือเพื่อแยกความแตกต่างระหว่างที่ถูกต้องและไม่ถูกต้องในลักษณะที่เร็วขึ้นและมีประสิทธิภาพมากกว่าการใช้รหัส วากยสัมพันธ์เป็นเพียงการทำให้เกิดประโยชน์สูงสุดสิ่งที่เกิดขึ้นในนั้นและสิ่งที่เข้าสู่ความหมายคืออะไรโดยพลการ

โดยปกติแล้วคุณต้องการตรงกันข้าม: เพื่อให้การยืดยาวเท่าที่เป็นไปได้เพื่อประหยัดเวลามากขึ้น แต่แน่นอนว่าคุณสามารถละเว้นไวยากรณ์ทั้งหมดพร้อมกันและประกาศข้อผิดพลาดทุกครั้งที่มีความหมาย: คุณจะสิ้นสุดด้วยล่ามที่ไม่ต้องทำโทเค็น

Ahbefiasdlk aslerhsofa; f jwi [asdfasdf] aew / & Q! @ # $} {;-P

ดังนั้นหมายความว่าอย่างไร

ตราบใดที่ภาษามีโครงสร้างและไวยากรณ์ก็จะมีแนวคิดเรื่องข้อผิดพลาดทางไวยากรณ์อยู่เสมอ คำถามคือคุณบังคับใช้หรือไม่ ผู้คนจะทำผิดพลาดและข้อผิดพลาดทางไวยากรณ์เป็นสิ่งที่นักออกแบบภาษาส่วนใหญ่เข้าถึงเพื่อช่วยโปรแกรมเมอร์หลีกเลี่ยงข้อผิดพลาดที่โง่

ข้อผิดพลาดทางไวยากรณ์คือข้อผิดพลาดที่แนะนำโดยโปรแกรมเมอร์เขียนรหัสที่ไม่มีความหมายกับภาษา

มันเป็นไปไม่ได้ที่จะกำจัดข้อผิดพลาดทางไวยากรณ์ตามคำนิยามข้างต้น เรามีตัวระบุที่สะกดผิดทั้งหมดเราทุกคนมีชื่อวิธีการที่สะกดผิด การมีภาษาอย่างเงียบ ๆ ยอมรับการสะกดผิดและทำอะไรอย่างมีความสุขไม่ใช่ความคิดของฉันเกี่ยวกับประสบการณ์ที่สนุกสนาน

เป็นไปได้ที่จะออกแบบภาษาที่สามารถใช้อักขระ Unicode ที่ถูกต้อง (หรือลำดับอักขระ) เป็นตัวระบุ มีความท้าทายเช่นการทำให้ปกติเป็นลำดับตัวละคร / ลำดับตัวละครที่เทียบเท่าเพื่อให้พวกเขาได้รับการยอมรับว่าเป็นสิ่งเดียวกัน - แต่ก็เป็นไปได้ หมายเหตุ: มีสี่มาตรฐานประเภทของการปรับสภาพยูนิโค้ดได้