KTUG마당은 KTUG를 방문하는 모든 이용자가 대화를 나누고 소식을 전하는 곳입니다.
- 로그인 없이 자유롭게 글을 읽고 쓸 수 있는 철학은 처음과 같이 계속됩니다.
- Team Blog의 글을 이곳 게시판의 "정보글"로 모았습니다. Team blog는 기고자가 올린 글에 질문을 받는 부담을 줄이기 위하여 댓글을 허용하지 않았습니다. 그러나 이곳 게시판으로 모으면서 댓글을 달 수 있습니다. 게시물을 작성하실 때 댓글을 원하지 않으시면 댓글을 허용하시지 않으시기를 바랍니다. 또한 불필요한 소모성 댓글을 달지 않도록 주의하여 주시기를 바랍니다.
- TeX과 관련된 질문이나 답변은 QnA 마당을 이용하십시오. TeX과 관련된 질문은 지웁니다
- MathJax를 이용한 수식조판을 사용하실 수 있습니다. 여기를 참조하세요.
- 스팸 글을 막기 위하여 짧은 시간 내에 다시 글이 등록되는 IP를 막거나, 광고 글을 막기 위하여 금지어로 .com, .net 등을 설정하고 있습니다. 다소간의 불편함이 있으시더라도 양해 바랍니다.
- 금지어에서 stackexchange, stackoverflow, ctan, overleaf, , github, google.com, gmail.com, .org, .io, sil.org, wiki.com, tistory.com등은 해제하였습니다.
- 사용하는 편집기는 CKeditor입니다. 편집기에서 [enter]를 누르면 <p> 태그가 들어가고, 문단으로 생각하고 한줄을 비웁니다. 글줄만 바꾸려면 shift-enter 를 누르시면 <BR>가 들어가므로 용도에 맞게 나누어 쓸 수 있습니다.
정보글 Backus-Naur form (BNF) 문법을 간단히 표시해주는 패키지
2019.12.24 03:10
지난 여름방학에 김강수 선생님께서 expl3 스터디 그룹의 마지막 과제로, 자신만의 (expl3) 패키지를 만들어 위키에 올리라고 하셨었는데요, 이것저것 하다보니 계속 미뤄져서...
드디어 제출하였습니다: simplebnf.zip
제가 이번 학기에 수강한 프로그래밍 언어(PL) 수업 과제를 하다가 요렇게:
생긴 형식의 Backus-Naur form (BNF) 문법을 작성해야 할 일이 생겼습니다.
찾아보니 BNF 문법을 위한 패키지가 syntax 등 몇몇 패키지가 있었는데요, 위처럼 옆에 설명을 다는 것이 직관적이지 않아 한 번 만들어보았습니다.
(저 말곤 아무도 안 쓸 것 같긴 하지만) 틈틈히 이것저것 기능을 추가해서 PL 쪽에서 자주 사용되는 포맷을 더 지원하도록 하면 좋을 것 같네요.
처음 패키지를 만들어보는 것인데, 혹시 부족하거나 보완할 점이 있다면 말씀부탁드립니다!
댓글 4
-
작나
2019.12.24 08:05
-
Zeta
2019.12.24 22:48
말씀하신대로 환경 안에서 포맷을 하는 형식으로 패키지를 수정하였습니다!
::=로 구분자를 지었더니, Expl3에서 \seq_set_split:Nnn이 delimeter을 여러 글자로 구성된 경우에는 받지 않는다는 것을 알게 되었네요 (regex_split:nnN을 쓰게 되었습니다.)
암튼 조언해주셔서 감사합니다 :D
-
noname
2020.01.03 19:14
잘 봤습니다. 패키지로서 나무랄 데 없다고 생각합니다. :)
굳이 한 마디 첨언하자면 환경 안에 오는 텍스트에 ::= 부호가 빠져 있을 때, 즉 입력 실수를 어떻게 할 것이냐는 건데요, 에러메시지를 조금 친절하게 하자면 다음처럼 할 수 있겠습니다.
환경 정의를 다음과 같이 하고요,
\NewDocumentEnvironment { bnfgrammar } { +b } { \regex_split:nnNTF { ::= } { #1 } \l__input_seq { \subfn_succ:n { #1 } } { \subfn_fail:n { #1 } } }{}
regex_split이 성공하면 \subfn_succ:n으로 넘겨주고 실패하면 \subfn_fail:n으로 가는 건데, \regex_split:nnNTF 기법은 그 아래 콜론 부호가 있는가를 검사하는 곳에서 사용하고 있군요. (개념상 분기하는 것을 보여주려고 이렇게 제시한 것이고, 사실은 \subfn_succ:n에서는 \l__input_seq만 있으면 되고 실패했을 때는 에러메시지만 보일 것이므로 sub function에 #1을 넘겨주지 않아도 됩니다.)
성공했을 때 함수는 원래 정의에서 \regex_split 문장 하나만 제외하는 거라서 문제 없고요. 실패일 때 에러메시지를 유의미하게 보여주고 싶은 것인데,
\msg_new:nnn { simplebnf } { haltmsg } { compulsory~symbol~`::='~missing } \cs_new_nopar:Npn \subfn_fail:n #1 { \msg_error:nn { simplebnf } { haltmsg } }
이와 같이 하여 ::=가 빠졌다는 사실을 콘솔에서 더 명확하게 보여줄 수 있습니다.
필요에 의해 작성하는 패키지야말로 가치있는 것이겠지요.
-
noname
2020.01.14 11:28
TeXLive로 설치되네요.
번호 | 제목 | 글쓴이 | 날짜 | 조회 수 |
---|---|---|---|---|
139 | 윈도우즈에서 basic하게 사는 법 | karnes | 2012.07.13 | 4605 |
138 | Windows에서 basic하게 사는 법 (2) | karnes | 2012.08.01 | 7679 |
137 | 제주어 지원 첫가끝 표준 글꼴 | DohyunKim | 2012.09.19 | 5829 |
136 | Windows에서 pdfjam | karnes | 2012.09.20 | 4438 |
135 | 문자열의 삽입정렬 | karnes | 2012.10.08 | 5154 |
134 | 하이픈과 페널티 | DohyunKim | 2012.11.05 | 5169 |
133 | 조건부 컴파일 | DohyunKim | 2012.11.13 | 4749 |
132 | TeX writer (iOS) 한글 패키지 만들기 | DohyunKim | 2013.01.21 | 6210 |
131 | cjk-ko 텍라이브 버전 | DohyunKim | 2013.02.20 | 4478 |
130 | 때로 문단 간격이 너무 커져서 보기 싫을 때 | DohyunKim | 2013.02.22 | 4482 |
129 | 정확한(!) 크기의 네모 박스 그리기 | DohyunKim | 2013.03.13 | 5067 |
128 | xetexko의 에러 메세지 | gromov | 2013.08.13 | 4519 |
127 | dhucs-nanumfont.sty | karnes | 2013.09.26 | 4683 |
126 | 맑은 고딕, Windows 7의 것과 8의 것 | karnes | 2013.10.08 | 6400 |
125 | MiKTeX 2.9에서 cjk-ko와 xetexko 사용하기 | karnes | 2013.10.25 | 7146 |
124 | 원숫자 | yihoze | 2014.01.02 | 216150 |
123 | hyperref 패키지의 새로운 옵션 | DohyunKim | 2014.01.15 | 4817 |
122 | kotex-euc 없이 새물리 np2를 lualatex으로 컴파일 | karnes | 2014.03.14 | 6196 |
121 | lualatex으로 cp949 문서를 컴파일 | karnes | 2014.03.16 | 5035 |
120 | \pdfstrcmp와 문자열 sorting | karnes | 2014.05.25 | 4482 |
대부분의 유명한 패키지들이 처음에는 저자가 자신만의 필요로 만들었다가 옆에서 누군가가 좋아 보인다고 사용하게 해달라고 하다가 그런 사용자들이 하나 둘 늘고, 그들이 요구 사항도 전달하여 패키지에 다양한 기능이 붙어 널리 쓰이는 패키지가 됩니다. 잘 발전 시켜 나가길 바랍니다.
한가지 제안은, term을 인자로 받기보다는 bnfgrammar 환경 안에서 정의를 하던가 대괄호([])를 사용하여 환경의 옵션으로 처리하던가 하는 것이 어떨까 싶습니다. 제가 라텍을 잘 사용하지 않아서 그런지 환경이 중괄호로된 인자를 받는게 낯설어 보입니다. :-)