An explicit definition of the synta

An explicit definition of the syntax, static semantics, and execution semantics of the language. While syntax is commonly specified using a formal grammar, semantic definitions may be written in natural language (e.g., as in the C language), or a formal semantics (e.g., as in Standard ML[54] and Scheme[55] specifications).

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

ข้อกำหนดที่ชัดเจนของไวยากรณ์ คงความหมาย และการดำเนินการความหมายของภาษา ในขณะที่ไวยากรณ์ทั่วไปไว้ใช้ไวยากรณ์ทาง อาจเขียนคำนิยามความหมายในภาษา (เช่น ในภาษา C), หรือความหมายอย่างเป็นทางการ (เช่น ในมาตรฐาน ML [54] [55] โครงร่างข้อกำหนด)

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

คำนิยามที่ชัดเจนของไวยากรณ์ความหมายแบบคงที่และความหมายการดำเนินการของภาษา ในขณะที่มีการระบุไวยากรณ์ทั่วไปใช้ไวยากรณ์อย่างเป็นทางการนิยามความหมายอาจจะเขียนในภาษาธรรมชาติ (เช่นในขณะที่ภาษา C) หรือความหมายอย่างเป็นทางการ (เช่นในขณะที่มาตรฐาน ML [54] และโครงการ [55] รายละเอียด)

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

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