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로 설치되네요.
번호 | 제목 | 글쓴이 | 날짜 | 조회 수 |
---|---|---|---|---|
514 | 위키 바뀐글 페이지의 고친이 표시 오류? [1] | mcpark | 2015.06.02 | 3307 |
513 | 추억의 컴패니언 시리즈 [7] | yihoze | 2015.06.02 | 3205 |
512 | 개행(line-break)에 대하여 [8] | yihoze | 2015.06.02 | 9907 |
511 | 테크니션들의 익살 [4] | yihoze | 2015.06.03 | 3100 |
510 | 텍의 기본기 [2] | yihoze | 2015.06.03 | 11131 |
509 | TeX 디자인, 끝까지 밀어붙이기 [12] | 하늘연 | 2015.06.03 | 3386 |
508 | [동영상] 소설가에게 필요한 마크업들은? [1] | yihoze | 2015.06.05 | 3105 |
507 | lshort 다음 버전 미리보기 [12] | 세벌 | 2015.06.05 | 3338 |
506 | Thank you, Hermann Zapf [8] | 에드 | 2015.06.06 | 3341 |
505 | ksbaduk 패키지 이야기(1): 흰돌과 검은돌 [7] | nanim | 2015.06.06 | 5917 |
504 | 제가 좀 까칠하기는 하죠? [3] | 세벌 | 2015.06.08 | 3536 |
503 | 예의에 대해서 [16] | 멀리본다 | 2015.06.08 | 3393 |
502 | pdf 다루는 무료 프로그램 | 세벌 | 2015.06.08 | 3170 |
501 | lshort Support for Korean KTUG 궁금증... [22] | 세벌 | 2015.06.09 | 3730 |
500 | 편집하지 않으면 표절 [1] | yihoze | 2015.06.09 | 3194 |
499 | 주변에서 LyX에 대한 반응 [12] | 하늘연 | 2015.06.09 | 3871 |
498 | 코딩의 즐거움: 제1차 라텍 스터디 과제 [19] | nanim | 2015.06.09 | 3766 |
497 | 게임 트리 그리기 1 [10] | ischo | 2015.06.09 | 4309 |
496 | 게임 트리 그리기 1-1 [14] | ischo | 2015.06.10 | 7799 |
495 | Introduction to LaTeX:라텍 입문 [6] | JangNa | 2015.06.11 | 12675 |
대부분의 유명한 패키지들이 처음에는 저자가 자신만의 필요로 만들었다가 옆에서 누군가가 좋아 보인다고 사용하게 해달라고 하다가 그런 사용자들이 하나 둘 늘고, 그들이 요구 사항도 전달하여 패키지에 다양한 기능이 붙어 널리 쓰이는 패키지가 됩니다. 잘 발전 시켜 나가길 바랍니다.
한가지 제안은, term을 인자로 받기보다는 bnfgrammar 환경 안에서 정의를 하던가 대괄호([])를 사용하여 환경의 옵션으로 처리하던가 하는 것이 어떨까 싶습니다. 제가 라텍을 잘 사용하지 않아서 그런지 환경이 중괄호로된 인자를 받는게 낯설어 보입니다. :-)