编译原理(一道小证明题)

最近闲暇之余看看编译原理,娱乐一下,碰到一道小小证明题,于是心血来潮证明一下。 LZ也是数学专业毕业的,当初上大学时每天做的最多的就是多达N个黑板的证明题,可惜啊,时光是残酷的,现在已不复往日了。 不过看到证明题,尤其是简单的证明题,LZ积蓄了多年的数学细胞又被激发起来了,这就是青春啊,神马《致青春》的都弱爆了,总拿爱情说事,其实大学里还是有很多值得回忆的事的,比如证明题,LZ说这话会不会勾起了很多人的痛苦回忆。 ...
阅读(2788) 评论(10)
    公告栏

    LZ的斗鱼直播地址


    LZ的个人网站


    LZ的腾讯微博


    LZ的Github


    交流一群:300638185【已满】
    交流二群:475044650【已满】
    交流三群:367659782【已满】
    交流四群:575993105【已满】
    交流五群:547743770【已满】
    交流六群:629598531【新开】
    交流七群:620968684【新开】
    交流八群:542470923【新开】
    交流九群:629602305【新开】
    交流群用于技术探讨和交流,请不要重复加入多个交流群。
    进群请注明:“来自左潇龙CSDN博客”。
    加群需知:交流群中,群名片统一格式为【城市-姓名或昵称-语言】,示例【北京-左潇龙-Java】。进交流群请务必立即改名,否则可能会被误踢哦。


    LZ的Github项目介绍

    名称:xxoo
    简介:致力于简单的、功能完善的xml与object转换

    名称:deerlet-redis-client
    简介:一款简单易用的redis for java客户端,支持集群

    名称:niubi-job
    简介:一款开源的,高可靠的分布式任务调度框架。


    博主简介:
    09年毕业于某二流二本院校非计算机专业,经历一番波折,后于11年4月进入某培训机构学习J2EE开发,从此走上程序猿之路。
    11年10月份入职一家小型互联网公司,任职Java工程师。
    12年9月份进入一家大型金融公司从事公司IT建设,任职Java工程师。14年正式成为项目组项目经理兼研发经理,管理一个将近20人的团队。15年1月转部门带领一个6人的小团队,负责公司的权限管理系统。
    15年4月份进入到一家极具激情的互联网金融公司,暂时放弃管理之路,继续自己的技术沉淀,任职Java工程师。
    16年3月份进入到一家大型互联网公司,从事Java中间件的开发工作。
    本人较为擅长的领域涉及Java语言、设计模式、Java虚拟机、SSH、SSI等开源框架。作为一名开源的爱好者,本人也曾为spring-framework提供过源码,并被spring采纳。


    个人资料
    • 访问:2238233次
    • 积分:10448
    • 等级:
    • 排名:第1639名
    • 原创:237篇
    • 转载:0篇
    • 译文:0篇
    • 评论:1023条
    博客专栏
    文章分类
    最新评论