Subleq 언어, 텍스트 매크로로 구현하는 OISC 프로그래밍
by DD
2개월 전
조회수 2
Subleq는 단일 명령어 집합 컴퓨터(OISC)를 위한 언어로, 텍스트 매크로를 사용하여 구현 난이도(Implementation Challenges)를 극복함
m4 매크로 프로세서를 활용하여 Subleq 코드를 생성하고, 이를 통해 튜링 완전성(Turing Completeness)을 달성함
GOSUB/RETURN 구현과 동적 GOTO를 통해 언어의 기능을 확장하고, 재귀 호출(Recursive Call)을 지원하지 않음
매크로 처리(Macro Processing)의 한계점(변수 스코핑, 디버깅, 컴파일 타임 vs 런타임 바인딩)을 언급하며, BASIC to C 변환 사례를 통해 확장성을 제시
Subleq 언어의 핵심: 단일 명령어와 튜링 완전성
게시물은 Subleq가 단 하나의 명령어, 즉 'SUBtract and branch if Less-than or EQual to zero'만을 지원하지만, 튜링 완전성(Turing Completeness)을 갖춘 언어임을 강조한다. 이는 Subleq가 모든 알고리즘을 실행할 수 있음을 의미하며, OISC(One Instruction Set Computer)의 핵심 특징을 보여준다. Subleq 명령어는 메모리 주소 A의 값을 메모리 주소 B에서 빼고, 결과가 0 이하면 주소 C로 분기하는 방식으로 작동한다.
m4 매크로 프로세서의 활용: 언어 확장과 코드 생성
저자는 Subleq 언어의 구현을 위해 m4 매크로 프로세서를 선택했다. m4는 텍스트 매크로를 사용하여 코드의 재사용성과 가독성을 높이는 데 기여한다. 예를 들어, `define(ENDFILE -1)`과 같이 매크로를 정의하여 코드 내에서 특정 문자열을 다른 문자열로 대체할 수 있다. 이러한 방식은 Subleq와 같이 어셈블리 언어와 유사한 언어에 기능을 추가하는 데 효과적이며, 을 단순화한다.
