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로 설치되네요.
대부분의 유명한 패키지들이 처음에는 저자가 자신만의 필요로 만들었다가 옆에서 누군가가 좋아 보인다고 사용하게 해달라고 하다가 그런 사용자들이 하나 둘 늘고, 그들이 요구 사항도 전달하여 패키지에 다양한 기능이 붙어 널리 쓰이는 패키지가 됩니다. 잘 발전 시켜 나가길 바랍니다.
한가지 제안은, term을 인자로 받기보다는 bnfgrammar 환경 안에서 정의를 하던가 대괄호([])를 사용하여 환경의 옵션으로 처리하던가 하는 것이 어떨까 싶습니다. 제가 라텍을 잘 사용하지 않아서 그런지 환경이 중괄호로된 인자를 받는게 낯설어 보입니다. :-)