메타바리블
Metavariable논리학에서 메타바리블(metavariable, metalinguistic 변수[1] 또는 구문 변수)[2]은 금속구에 속하며 일부 객체 언어의 요소를 나타내는 기호 또는 기호 문자열이다. 예를 들어, 문장에서
- A와 B를 하나의 언어의 두 문장으로 하자 Ⅱ
기호 A와 B는 목적어 language에 대한 문장이 공식화된 금속 언어의 일부다.
존 코코란은 이 용어가 스키마타 사용을 모호하게 하고 그러한 "변수"가 실제로 도메인 전체에 걸쳐 있지 않기 때문에 이 용어를 유감스럽게 여긴다.[3]: 220
이 관습은 메타바리블이 주어진 스키마에서 모든 외관상 동일한 예에 따라 균일하게 대체되는 것이다. 이는 생산 오른쪽에 있는 비터미널을 다른 인스턴스로 대체할 수 있는 공식 그래머의 비터미널 기호와는 대조적이다.[4]
전이 가능한 개념을 공식화하려는 시도는 일종의 유형 이론으로 귀결된다.[5]
참고 항목
메모들
- ^ 헌터 1973, 페이지 13.
- ^ 쇼엔필드 2001, 페이지 7.
- ^ 코르코란 2006, 페이지 220.
- ^ Tennent 2002, 페이지 36–37, 210.
- ^ 사토 마사히코, 사쿠라이 다카후미, 가메야마 유키요시, 이가라시 아쓰시. 컴퓨터 과학 논리의 "메타 변수의[permanent dead link] 칼쿨리". 제17차 국제 워크숍 CSL 2003. 제12차 EACSL 연례 회의. KGC 2003, 비엔나, 오스트리아, 2003년 8월 25일부터 30일까지. 진행, 컴퓨터 과학 2803의 스프링어 강의 노트. ISBN3-540-40801-0. 페이지 484-497
참조
- Corcoran, J. (2006). "Schemata: the Concept of Schema in the History of Logic" (PDF). Bulletin of Symbolic Logic. 12 (2): 219–240. doi:10.2178/bsl/1146620060. S2CID 6909703.
- Hunter, Geoffrey (26 June 1973). Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. ISBN 9780520023567.
- Shoenfield, Joseph R. (2001) [1967]. Mathematical Logic (2nd ed.). A K Peters. ISBN 978-1-56881-135-2.
- Tennent, R. D. (2002). Specifying Software: A Hands-On Introduction. Cambridge University Press. ISBN 978-0-521-00401-5.
