21/1/2010 Công thức siêu ngữ Backus và các biến thể „ Siêu ngữ (metalanguage ):Ngôn ngữ sử Bài 4 BNF và sơ đồ cú pháp dụng các lệnh để mô tả ngôn ngữ khác „ BNF (Backus Naur Form) là dạng siêu cú pháp để mô tả các ngôn ngữ lập trình „ BNF được sử dụng rộng rãi để mô tả văn phạm của các ngôn ngữ lập trình, tập lệnh và các giao thức truyền thông. 1 Các biến thể của công thức siêu ngữ Backus „ Ký pháp BNF là một tập các luật ,vế trái của mỗi luật là một cấu trúc cú pháp. „ Tên của cấu trúc cú pháp được gọi là ký hiệu không kết thúc. „ Các ký hiệu không kết thúc thường được bao trong cặp <>. „ Các ký hiệu kết thúc thường được phân cách bằng cặp nháy đơn hoặc nháy kép 3 2 Công thức siêu ngữ Backus và các biến thể „ Mỗi ký hiệu không kết thúc được định nghĩa bằng một hay nhiều luật. „ Các luật có dạng N::=s (N là ký hiệu không kết thúc, s là một xâu gồm 0 hay nhiều ký hiệu kết thúc và không kết thúc. Các luật có chung vế trái được phân cách bằng | ) 4 fb.com/groups/ 1 21/1/2010 Ví dụ về BNF EBNF <Số>::=’-’<Số thập phân>|<số thập phân> <Số thập phân>::=<Dãy chữ số>|<Dãy chữ số>’.’<Dãy chữ số> <Dãy chữ số>::=<Chữ số>|<Chữ số><Dãy chữ số> <Chữ số>::=’0’|’1’|’2’|’3’|’4’|’5’|’6’|’7’|’8’|’9’ „ EBNF (Extended BNF ) được phát triển từ ký 5 6 So sánh BNF và EBNF Sơ đồ cú pháp Ví dụ „ Trong EBNF <Lệnh if>::= IF <Biểu thức> THEN <Lệnh> [ELSE <Lệnh>] „ Trong BNF <Lệnh if>::= ‘IF’ <Biểu thức> ‘THEN’ <Lệnh>| ‘IF’ <Biểu thức> THEN <Lệnh> ‘ELSE’ <Lệnh> 7 pháp BNF. EBNF có ký pháp tương tự BNF nhưng được đơn giản hoá bằng cách sử dụng một số ký hiệu đặc biệt : [] phần này là tuỳ chọn(có hoặc không) {} phần này có thể lặp lại một số lần tuỳ ý hoặc không xuất hiện lần nào (Nếu lặp lại m hay n lần , dùng n hay m là chỉ số trên hoặc dưới) Không cần dùng ‘’ cho ký hiệu kết thúc „ Là công cụ để mô tả cú pháp của ngôn ngữ lập trình dưới dạng đồ thị „ Mỗi sơ đồ cú pháp là một đồ thị định hướng với lối vào và lối ra xác định. „ Mỗi sơ đồ cú ph