形式语言

《离散数学》读书笔记

它包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算集合等。 第一章 命题逻辑的基本概念 第一节 命题 一、什么是命题 命题是一个非真即假的陈述句。 1）命题是一个陈述句。
·2015-10-31 09:04

XML介绍

用置标方法描述的形式语言即为置标语言） 在现实生活中，在语句下加下划线，对重要信息加星号，标记为不同颜色，都是置标的应用。
·2015-10-31 09:06

阅读笔记-游戏开发中的人工智能-第9章-有限状态机

简述     记得，在上面向对象程序设计的课中，就学过有限状态机，后来上编译原理的时候，接着有限状态机，直到研一的形式语言自动机中，还是有限状态机。
·2015-10-28 09:51

Linux c 一站式学习目录

自然语言和形式语言 3. 程序的调试
·2015-10-27 14:59

编译原理：第四节

形式语言与自动机原理回顾上节内容例：已知文法G[S]为 S—>aSb|Sb|b，证明G[S]为二义性文法 解：存在两棵不同的语法分析树，所以得证 G[S]为二义性文法短语，直接短语和句柄短语：一棵子树的所有叶子自左至右排列起来形成一个相对于子树根的短语
cassiePython·2015-09-10 16:00

编译原理：第三节

形式语言与自动机原理什么是语言？我们知道世界上存在很多种语言：我们可以把他们分为自然语言（人们日常交流的工具）和程序设计语言。自然语言复杂且难以描述，程序设计语言结构规整，便于处理。
cassiePython·2015-09-08 21:00

《交互设计精髓》读书笔记三

设计框架定义了用户体验的整体结构，从屏幕上功能元素的组织，到交互行为及其底层组织原则，到采用何种视觉语言和形式语言来表现数据、概念、功能和品牌形象。定义交互框架。交互框架不仅定义了高层次上的屏幕布
交枪不杀·2015-08-16 18:48

编程语言

编程语言（programminglanguage），是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。
Hjhhuaxia·2015-08-15 09:08

穿出现代艺术史

从20世纪初开始，随着西方社会进入现代时期，出现了与古典艺术和近代艺术不同面貌的现代艺术，它的突出特征是在艺术形式上不再以写实的风格为主，而是体现艺术家个性的观念和形式语言。
有调_品质生活指南·2015-07-21 12:00

编译原理系列之一

基础：自动机和形式语言（学数学人弄得）素材：数据结构、离散数学编译理论的应用：有穷状态技术、上下文无关文法、语法制导翻
parker1234·2015-07-17 16:00

[NLP]自然语言理解概述

自然语言是区别于形式语言或人工语言（如逻辑语言和编程语言等）的人际交流的口头语言（语音）和书面语言（文字）。
htx931005·2015-07-16 15:00

编程语言

编程语言（programminglanguage），是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。
weixin_30710457·2015-07-12 00:00

递归下降总结

先推荐一些编译原理的材料：mooc上斯坦福的compilers课程《形式语言与自动机导论》(AnIntroductiontoFormalLanguagesandAutomata)《parsingtechniques
doyoubi·2015-06-15 14:36

递归下降总结

先推荐一些编译原理的材料：mooc上斯坦福的compilers课程《形式语言与自动机导论》(AnIntroductiontoFormalLanguagesandAutomata)《parsingtechniques
doyoubi·2015-06-15 14:36

JavaScript学习1：正则表达式

     其实在学习JavaScript之前就知道正则表达式的概念，记得第一次听说是在学习专业课的时候，那门课程叫做《形式语言与自动机理论》，到现在我还清楚的记得当时学这门课程的时候，那种痛苦，一个学期学下来
u010929604·2015-03-23 08:00

编译原理笔记（2）

编译原理笔记（2）第二章高级语言及其语法描述程序语言的定义高级语言的一般特性程序语言的语法描述——————————————————————-了解：形式语言概述熟悉：语法、语义掌握：上下文无关文法、语法分析与二义性
u012422360·2015-03-07 16:00

中图法分类号(计算机专业) TP

  T工业技术TP自动化技术、计算机技术TP3计算技术、计算机技术TP3-0计算机理论与方法TP3-05计算机与其他学科的关系TP30一般性问题TP301理论、方法TP301.1自动机理论TP301.2形式语言理论
HappyBKs·2015-02-28 11:00

【读书】正则指引-1-字符组

正则表达式的历史   正则表达式发源于与计算机密切相关的两个领域：计算理论和形式语言。
摩云飞·2015-02-09 16:00

软考备战（2）语言处理程序基础

学习到了程序语言基础这块的内容.这一章总共就两节,一共40多页,其中语言处理程序基础这小节就占了30多页,可见本章的主要内容在第二节.但是在我学习的过程中,感到非常的吃力,虽然我在专业课上曾经接触过文法和形式语言的一些东西
u010929604·2014-09-21 22:00

正则语言的 并 交 差

本文转载于我自己的官方网站：nfabo.cn正则语言的并交差作者: rockeet 发表日期: 2014年09月08日 分类: 自动机 评论: 0 条阅读次数:7次[编辑]正则表达式，描述的是正则语言，学过形式语言与自动机理论的人应该都知道
whinah·2014-09-08 17:00

编程语言

推荐能贡献力量的人捐赠维基百科......................................0.维基百科的定义：       编程语言（programminglanguage），是用来定义计算机程序的形式语言
wishchin·2014-07-01 15:00

句法模式识别（一）－串文法

这当中，句法模式识别主要使用形式语言来描写叙述模式结构，在理论上完备，表1是句法模式识别与统计模式识别的相应关系，以下做介绍。 表1串文法就是一种机器能识别的语法，所以先讲讲语法。 字
mengfanrong·2014-06-11 16:00

句法模式识别（一）－串文法

这其中，句法模式识别主要使用形式语言来描述模式结构，在理论上完备，表1是句法模式识别与统计模式识别的对应关系，下面做介绍。 表1串文法就是一种机器能识别的语法，所以先讲讲语法。 字母表V字
u012428391·2014-05-16 10:00

形式语言与自动机理论总结

   一：图形总结。  重点：乔姆斯基体系 四大文法之间的关系：  总结全图： 点击图片查看大图         二：文字详解。 1，集合关系（并、交、补、差、笛卡尔积、幂积、二元关系）     1）笛卡尔积：AXB，即都分别对应的乘积。        例1-1， A={1,2,3}，B={白、黑}         则 AXB={（1，白），（1，黑），（2，白），（2，黑），（3，白），（3，黑
jufeng9318·2014-05-10 16:00

数理逻辑之 合式公式

前面说完了命题，使用命题可以构造命题逻辑的形式语言。首先来看合式公式。一个合式公式可以是一个原子命题，也可以是由其他合式公式通过否定、合取、析取、蕴含得到的。
somefuture·2014-04-13 21:00

语义语法的概念

现代的逻辑学，或者说形式逻辑、数理逻辑等，其目的是设计出来一套形式语言系统，并对其作出语义解释。
liaoqianwen123·2014-04-09 11:00

使用形式语言定义通信报文格式

有if-else直接层层递进融合代码的方式，有自然语言描述的方式定义一条条规则，但是很少发现有用形式语言定义的。其实，形式语言定义的报文，由于是规范，可以比较方便地让计算机识
lonelyrains·2013-11-22 10:00

etl olap

和其它的OLAP语言不同，MDX并不完全是一种报告形式语言。但用MDX查询出来的结果仍然可以在客户端程序中以
j3smile·2013-11-01 18:00

ASN.1详解

principlesandpractice》4.1网络数据表示及编码4.2ASN.1的基本概念4.3基本编码规则4.1网络数据表示及编码ASN.1(AbstractSyntaxNotation1)是一种形式语言
shanzhizi·2013-09-12 15:00

我是怎样自动机入门的

自动机貌似很难的噢大学不是计算机专业，不过也看过编译原理，难哪，看不懂读研了，有门课叫《形式语言与自动机理论》，当时用的这本书http://item.jd.com/11243080.html，看到个例子
yjh4866·2013-07-03 10:00

小型桌面计算器的实现(javacc)

从开始学计算理论，就对形式语言，编译原理很感兴趣，所以大学对这门课学的也算是最好了。
分布式编程·2013-05-27 18:07

编译原理--文法分类和推导树

1956年，NoamChomsky根据对产生式所施加限制的不同行，把分发分为了四种类型，并定义了相应的四类形式语言，如下：文法类型产生式限制文法产生的语言0型文法α→β其中α、β属于(VTUVN)*，且
small_baby01·2013-05-18 15:00

编译原理--文法基础知识

这篇文章先简单的介绍一下文法部分的基础知识：形式语言基础知识字母表：符号的非空有限集合称为字母表符号串：由字母表中的符号组成的有限符号序列称为该字母表的符号串符号长度：|a|
small_baby01·2013-05-15 21:00

SPAS文法解释库

语言可以从产生和接收两个角度进行定义，从产生的角度就是形式语言，而从接收的角度就是自动机。本人之前按照自动机写了一个浮点数的识别程序，但是觉得实现颇
notishell·2013-04-21 00:00

MDX基础 多维度查询

和其它的OLAP语言不同，MDX并不完全是一种报告形式语言。但用MDX查询出来的结果仍然可以在客户端程序中以表格形式进行展现。MDX和SQL一样，也有很多不同功能的API来支持MDX。其中包括
刘小小尘·2013-02-22 11:00

计算理论重点——Theory of Computation

在分析问题和检验模型计算能力之前需要掌握的工具是形式语言、图灵机等。本文主要对计算理论中的重点进行了总结，总结了一些定理和理解上容易有障碍的知识点，但是里面还有一些点没有提到，比如NFA、D
Rachel-Zhang·2013-01-11 15:57

计算理论重点——Theory of Computation

在分析问题和检验模型计算能力之前需要掌握的工具是形式语言、图灵机等。本文主要对计算理论中的重点进行了总结，总结了一些定理和理解上容易有障碍的知识点，但是里面还有一些点没有提到，比如NFA、D
abcjennifer·2013-01-11 15:00

LEX AND YACC 使用(二)

二、语法分析程序自动产生器yacc的使用方法2.lyacc概述形式语言都有严格定义的语法结构，我们对它们进行处理时首先要分析其语法结构。
jiary5201314·2012-12-05 19:00

图灵的故事

图灵在他1936年5月28日提交的重要论文《论可计算数及其在判定问题上的应用》里，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式装置代替了哥德尔的以通用算术为基础的形式语言
fulminati·2012-11-23 07:54

图灵的故事

图灵在他1936年5月28日提交的重要论文《论可计算数及其在判定问题上的应用》里，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式装置代替了哥德尔的以通用算术为基础的形式语言
fulminati·2012-11-23 07:54

编译原理之文法二

  1956年，NoamChomsky根据对产生式所施加限制的不同行，把分发分为了四种类型，并定义了相应的四类形式语言，如下：文法类型产生式限制文法产生的语言0型文法α→β其中α、β属于(VTUVN)*
lidaasky·2012-10-06 19:00

编译原理之文法二

  1956年，NoamChomsky根据对产生式所施加限制的不同行，把分发分为了四种类型，并定义了相应的四类形式语言，如下：文法类型产生式限制文法产生的语言0型文法α→β其中α、β属于(VTUVN)*
lidaasky·2012-10-06 19:00

编译原理之文法一

  介绍文法之前，先介绍形式形式语言的一些基础知识。
lidaasky·2012-10-04 14:00

协议工程与编译原理

理论计算机中，形式语言与自动机，离散数学，编译原理，占用了很重要的部分。现实中，很少有一个人会写编译器，实际上应用最多的是复杂的协议中回用。词法和语法分析，协议转换变化使用状态机来进行管理。
everlasting_188·2012-08-21 10:00

正则表达式用法及实例

概述 　　正则表达式原本是形式语言理论中的概念，与编
wen0301·2012-08-02 11:00

形式语言与自动机之语言识别机器——下推自动机

 下推自动机的物理模型  下推自动机(pushdownautomaton，PDA)M=(Q，∑，Γ，δ，q0，Z0，F)Q——状态的非空有穷集合。"q∈Q，q称为M的一个状态(state)；∑——输入字母表(inputalphabet)。要求M的输入字符串都是∑上的字符串；Γ——栈符号表(stackalphabet)。"A∈Γ，叫做一个栈符号；Z0——Z0∈Γ叫做开始符号(startsymbol)
tang_huan_11·2012-07-02 07:00

LEMON概述

1957年NoamChomsky建立形式语言的描述后，人们将语言分类为0型-非限制的,1型-上下文有关的,2型-上下文无
sever2012·2012-06-29 17:00

形式语言与自动机之语言识别机器——有穷状态自动机

有穷状态自动机的物理模型 有穷状态自动机(finiteautomaton,FA)M=(Q，∑，δ，q0，F)Q——状态的非空有穷集合。"q∈Q，q称为M的一个状态(state)。∑——输入字母表(Inputalphabet)。输入字符串都是∑上的字符串。q0——q0∈Q，是M的开始状态(initialstate)，也可叫做初始状态或者启动状态。δ——状态转移函数(transitionfunctio
tang_huan_11·2012-06-28 08:00

几种不同的转换----形式语言与自动机理论

一：DFA的最小化。DFA最小化，最简单的理解就是“劈枝斩叶留主干”，最小化的DFA比原状态等价且状态数少。劈枝斩叶留住干，在化简时候就是对等价的状态进行合并。那么怎么找等价状态呢？所有的终结符号都是等价的。这也是找之后等价符号的基础。详情看下面例子。化简步骤：1，画出状态矩阵图2，找终结符（等价的）。3，根据找到的等价的终结符，在继续找其他的等价符号。解：由于q2，q3等价，q0，q11到达q2
txf2004·2012-06-24 21:00

几种不同的转换----形式语言与自动机理论

   一：DFA的最小化。   DFA最小化，最简单的理解就是“劈枝斩叶留主干”，最小化的DFA比原状态等价且状态数少。   劈枝斩叶留住干，在化简时候就是对等价的状态进行合并。   那么怎么找等价状态呢？所有的终结符号都是等价的。这也是找之后等价符号的基础。详情看下面例子。化简步骤： 1，画出状态矩阵图2，找终结符（等价的）。3，根据找到的等价的终结符，在继续找其他的等价符号。解：由于q2，q3
lishuangzhe7047·2012-06-24 21:00
上一页 2 3 4 5 6 7 8 9 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他