用于LaTex的Python工具
gkd的Python项目详细描述
吉凯恩
一组帮助在LaTex中编程的工具。在
pip install gkd，并将gkd.tex的内容附加到Tex源中。在
GKDBNF：你见过最好的乳胶BNF包吗？
这依赖于paperbnf。在
用法
\begin{GKDBNF}{some_unique_id} !Expressions! <e> ::= <e> ( <e> ) | let <n> = <e> in <e> | !$\lambda$! <n> . <e> | <\mathtt{atom}> \end{GKDBNF}
记住在GKDBNF块的末尾放一个空行。在
怎么写这个BNF？在
遵循语法和词法规则：
有效的BNF语法：
^{pr2}$正则表达式的Lexer规则：
NEWLINE = [\r\n]+
NONTERMINAL = <.*?>
TERMINAL2 = !.*?!
Term = \S+
忽略空白标记。在
- 项目
标签：
欢迎加入QQ群-->： 979659372
