测试与正确性论证： 测试的目的是将程序的代码做到全覆盖，从而确保每个分支都运行一遍，进而分析代码中是否有错误，错误出在哪里。这个方法是实用的，但不是完备的。而正确性论证则通过大量的穷举，基于repOK和jsf来论证正确性，是逻辑层次的，可以说绝对正确，但相对复杂。私以为，二者的区别在于，测试可以说明 ...
分类：
其他好文 时间：
2018-06-25 20:17:24
阅读次数：
249
web包括:html css javascript(交互) html css 形式语言 javascript 逻辑语言 客户端的脚本语言 javascript 基础语法 javascript Dom操作 JavaScript基础写法分类1.内联 写在标签里面，以事件的属性表现，属性名就是事件属性名例 ...
分类：
Web程序 时间：
2018-06-13 21:05:14
阅读次数：
234
编程语言是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 C和C++ C/C++理论上说可以做任何开发, 只要有合适的硬件驱动和API，特点是效率高，基本上是编译语 ...
分类：
编程语言 时间：
2018-05-27 17:15:36
阅读次数：
275
《统计自然语言处理》 一些基础理论概念，涉及统计自然语言处理的基本概念、理论方法和新研究进展，内容包括形式语言与自动机及其在自然语言处理中的应用、语言模型、隐马尔可夫模型、语料库技术、汉语自动分词与词性标注、句法分析、词义消歧、篇章分析、统计机器翻译、语音翻译、文本分类、信息检索与问答系统、自动文摘 ...
分类：
其他好文 时间：
2018-04-06 19:33:58
阅读次数：
150
四种文法的判断非常简单，说到到，四种文法就是规定产生式的左和右边的字符的组成规则不同而已，其它的不能理解就不要去想了，你只要知道判断的时候就是以产生式的左边和右边符合的规则进行判断。下面解释一下如何根据产生式左边和右边的特征来进行判断。首先，应该明确，四种文法，从0型到3型，其规则和约定越来越多，限 ...
分类：
编程语言 时间：
2017-11-26 12:53:41
阅读次数：
309
python是一种面向对象的解释型计算机程序设计语言，由荷兰人GuidovanRossum于1989年发明，第一个公开发行版发行于1991年。python是近年来比较热门的一种编程语言，在这里先给大家普及一下什么是编程语言。编程语言，是用来定义计算机程序的形式语言。它是一种被标准化的交流技..
分类：
编程语言 时间：
2017-10-19 19:44:24
阅读次数：
149
要点: 介绍: 形式语言理论主要研究的是内部结构模式这类语言的纯粹的语法领域。形式语言理论 是从语言学衍生而来，作为一种理解自然语言的句法规律。在计算机科学中，形式语 言通常作为定义编程语言和语法的基础，是正式版本的自然语言的子集。在计算复杂 性理论中，决策问题通常定义为形式语言，复杂类被定义为形式 ...
分类：
编程语言 时间：
2017-06-15 23:40:23
阅读次数：
280
python docopt模块详解 docopt 本质上是在 Python 中引入了一种针对命令行参数的形式语言，在代码的最开头使用 """ """文档注释的形式写出符合要求的文档，就会自动生成对应的parse 用法：docopt的使用非常简单，以Qingchat为例，你只需要在代码最开头加入： 然 ...
分类：
编程语言 时间：
2017-06-04 21:23:29
阅读次数：
172
[TOC]#1 程序之道##1.1 Python程序语言- 有两种程序可以让高级语言转换为低级语言，分别是直译器和编译器.- 有两种方式使用python的直译器：shell模式和脚本模式.##1.8 形式语言和自然语言- 自然语言是人们所说的语言。- 形式语言是人们为特定的应用设计的语言*程序语言是... ...
分类：
编程语言 时间：
2017-04-29 18:49:43
阅读次数：
291
作者：罗心澄链接：https://www.zhihu.com/question/21191299/answer/17469774来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。 在数理逻辑系统中没有使用过，仅在数学证明中使用过。这个符号不是一个标准命题形式语言中的符号。 ...
分类：
其他好文 时间：
2017-04-25 17:14:15
阅读次数：
2188
