直接左递归消除

针对左递归的上下文无关语法$A$，存在一种能够消除左递归的改写方式。 本文将不严谨(?)地证明这一点。

左递归语法

考虑如下语法

令$\alpha = \alpha_{1\dots m}$，$\beta = \beta_{1 \dots n}$，则可简写为

作为Python的一个依赖管理工具，Anaconda实现了Pip「全局安装」和virtualenv「本地安装」的折衷，它使用「按名访问」的方式实现环境的隔离，使使用者能够灵活的隔离和共享环境。

清华的Anaconda镜像在华东地区是好是坏，好的时候一切顺利，坏的时候一个24K的包下5分钟；Anaconda的官方源则更惨，连repo.json都下不下来；
今天又是清华的源大姨妈的一天：Pytorch下载到100MB就超时，折腾了三个小时也装不上。而同在华东的SJTU的镜像就很稳定，这次全线换成SJTU啦。

首先执行

conda config --set show_channel_urls yes

在/usr下生成.condarc文件，然后将其内容替换为