Biến Metasyntactic là các biến có giá trị được hiểu là các phần cú pháp (có thể là tên của các biến khác, là cú pháp). Chúng xuất hiện trong các công thức hoạt động theo cú pháp và cú pháp meta cũng vậy.
Ví dụ, xem xét S V O
(đối tượng động từ chủ ngữ), một biểu thức chỉ ra trật tự từ cơ bản của một số ngôn ngữ của con người. Ba chữ cái này là các biến siêu cú pháp. Mỗi cái biểu thị một số cú pháp. Một chủ ngữ câu có thể là một cụm danh từ phức tạp, v.v. Hơn nữa, những chữ cái này được chọn theo cách có ý nghĩa trong lĩnh vực vấn đề ngôn ngữ: S
viết tắt của chủ đề, v.v.
foo
và bar
có thể được coi là siêu hình theo nghĩa là chúng đóng vai trò là người nắm giữ vị trí cho tên thật sẽ được phát minh bởi người dùng. Những tên cụ thể này có ý nghĩa trong lĩnh vực vấn đề viết ví dụ mã trong tài liệu máy tính, nơi chúng có thể được nhận ra ngay lập tức, giống như những người bạn cũ. Vì vậy, nghịch lý thay, foo
bày tỏ "Tôi nổi tiếng vì không có ý nghĩa. Bất cứ nơi nào bạn nhìn thấy tôi, thay thế tôi bằng một cái gì đó có một!", Và đó là ý nghĩa của nó.
Điều này cũng được hiểu rằng khi cả hai foo
và bar
xuất hiện, người dùng phải thay thế các ký hiệu riêng biệt và nơi foo
xuất hiện nhiều hơn một lần trong cùng một ví dụ, tất cả các lần xuất hiện phải được thay thế một cách nhất quán bằng cùng một mã định danh.
foo
và bar
có hiệu quả miễn là chúng không đụng độ với bất kỳ thứ gì trong ngôn ngữ máy tính, chẳng hạn như các lệnh tích hợp, từ khóa hoặc tên của các hàm hoặc biến thư viện quan trọng. Nếu điều đó xảy ra, các mức cú pháp và cú pháp meta trở nên lẫn lộn. Nếu bạn đang thiết kế một ngôn ngữ mới, nó sẽ khiến bạn tránh giới thiệu foo
và bar
là những định danh quan trọng trong ngôn ngữ đó.
Các từ foo và bar có từ nguyên, nhưng từ nguyên đó không được kết nối với ý nghĩa của chúng trong tài liệu tính toán.