形式语言

形式语言与自动机理论——上下无关语言

上下无关语言CFL 1.上下无关文法CFG   独有的性质：     语法树       二义性       推导       归约     计算机编程语言   化简：     去无用符号         不可以到达终极符         不出现在产生式右侧的非终极符     去空产生式     去单一产生式组     消除左递归 2.识别器：下推自动机PDA   基本定义：七元组，比DFA多了栈
song_mou_xia·2012-06-21 19:00

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

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

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

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

形式语言与自动机之核心——乔姆斯基体系

文法G=(V，T，P，S)G叫做0型文法(type0grammar)，也叫做短语结构文法(phrasestructuregrammar,PSG)。L(G)叫做0型语言。也可以叫做短语结构语言(PSL)、递归可枚举集(recursivelyenumerable，r.e.)。对应的其识别语言机器为图灵机(TM：turingmachine)G是0型文法。 如果对于"α®β∈P，均有|β|≥|α|成立，则
tang_huan_11·2012-06-17 08:00

扩展巴科斯范式

转载自维基百科：http://zh.wikipedia.org/wiki/扩展巴科斯范式扩展巴科斯范式维基百科，自由的百科全书扩展巴科斯-瑙尔范式(EBNF)是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法符号表示法
you_lan_hai·2012-05-09 18:00

编译原理之文法一

一、先简单介绍一下形式语言基本知识 1、字母表：符号的非空有限集合称为字母表 2、符号串：由某一字母表中的符号组成的有限符号序列称为该字母表的符号串 二、非形式化的语言： ①语言L和M的合并，LUM={
mixer_a·2012-04-22 15:00

程序正确性证明与并行程序设计

理论计算机科学主要包括：①自动机论与形式语言理论②程序理论③形式语义学④算法分析和计算复杂性理论 学科的产生在几千年的数学发展史中，人们研究了各种各样的计算，创立了许许多多的算法，但以计算或算法本身的性质为研究对象的数学理论
junecau·2011-11-12 21:00

[AI]一阶逻辑First Order Logic

不像自然语言如英语，FOL使用由数学结构来解释的完全无歧义的形式语言。一阶逻辑是通过允许在给定论域的个体上的量化而扩展命题逻辑的演绎系统。例如，在FOL中可陈述“所有个体都有性质P”。
dragonszy·2011-11-06 00:00

SQLServer商业智能系列：MDX基础

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

自己开发计算器(0)-扩展巴科斯范式(EBNF)

基本信息 扩展巴科斯-瑙尔范式(EBNF)是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法符号表示法。它是基本巴科斯范式(BNF)元语法符号表示法的一种扩展。
craftsman1970·2011-09-27 23:40

正则表达式用法及实例

1.概述正则表达式原本是形式语言理论中的概念，与编译器的构造有密切的联系。但是作为一个应用软件的用户，我们没有必要去细究正则表达式的严格定义和处理方法。
Tercel99·2011-06-26 16:00

巴科斯-诺尔范式

巴科斯-诺尔范式（也称为巴科斯-瑙尔范式、巴克斯-诺尔范式），即BNF，是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。
g5dsk·2011-01-11 10:00

软考——编译原理

昨天把编译原理的视频看完了，因为以前学习过《形式语言与自动机理论》，所以这个视频的讲解看起来比较容易。  文法，就是语言的规则，按照这种规则来讲就ok。
the_fire·2010-08-19 09:00

巴科斯范式和扩展巴科斯范式

巴科斯范式 巴科斯范式（也称为巴科斯-瑙尔范式、巴克斯-诺尔范式）即 BNF 是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。
deng131·2010-05-25 13:00

巴科斯范式和扩展巴科斯范式

巴科斯范式 巴科斯范式（也称为巴科斯-瑙尔范式、巴克斯-诺尔范式）即 BNF 是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。
deng131·2010-05-25 13:00

巴科斯范式和扩展巴科斯范式

巴科斯范式 巴科斯范式（也称为巴科斯-瑙尔范式、巴克斯-诺尔范式）即 BNF 是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。
deng131·2010-05-25 13:00

扩展巴科斯范式

扩展巴科斯范式维基百科，自由的百科全书扩展巴科斯-瑙尔范式(EBNF)是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法符号表示法。
红猎人·2010-05-14 14:00

信息、状态和控制的关系（头脑风暴）

信息、状态和控制的关系（头脑风暴） 刘建文略译（ http://blog.csdn.net/keminlau ） KEY:信息处理 计算理论 形式语言 编程语言 信息、状态和控制的关系
buliedian·2010-01-29 19:00

信息、状态和控制的关系（头脑风暴）

信息、状态和控制的关系（头脑风暴）刘建文略译（http://blog.csdn.net/keminlau）KEY:信息处理计算理论形式语言编程语言 信息、状态和控制的关系计算的两本质元素是，第一，状态的操控
keminlau·2010-01-29 19:00

与Tony Hoare爵士一席谈

同时他还提出了Hoare逻辑，形式语言的通信顺序进程(CSP)，并对Occam程序设计语言产生了重要影响。
Sadek Drobi·2010-01-21 00:00

有限记忆程序与有限状态换能机器

AnIntroductiontotheTheoryofComputation》byEitanGurari刘建文略译（http://blog.csdn.net/keminlau）KEY:信息处理计算理论形式语言编程语言
keminlau·2009-12-19 19:00

有限记忆程序与有限状态换能机器

AnIntroductiontotheTheoryofComputation》byEitanGurari刘建文略译（http://blog.csdn.net/keminlau）KEY:信息处理计算理论形式语言编程语言
buliedian·2009-12-19 19:00

计算、程序和机器

AnIntroductiontotheTheoryofComputation》byEitanGurari刘建文略译（http://blog.csdn.net/keminlau）KEY:信息处理计算理论形式语言编程语言
keminlau·2009-12-13 00:00

计算、程序和机器

the Theory of Computation 》by Eitan Gurari 刘建文略译（ http://blog.csdn.net/keminlau ） KEY:信息处理 计算理论 形式语言
buliedian·2009-12-13 00:00

形式语言的最大描述能力是树

形式语言的最大描述能力是树形式语言是基于产生式的，所以只能是一颗树，向下开枝散叶，而不能描述图。换句话说：它缺少，A产生式与B产生式共享一个数据的能力。
woaidongmao·2009-11-18 18:00

自然语言理解

其中,最重要的两类语言,是自然语言和形式语言。狭义的“语言”指“自然语言”,即人类在其社会生活中发展出来的用来互相交际的
chl033·2009-11-16 20:00

确定上下文无关文法

确定上下文无关语言是确定上下文无关文法所定义的形式语言。
woaidongmao·2009-10-30 15:00

语言模型

对检索用户的通常建议是使用在文档中出现的词作为query，因此，如果一篇文章与查询词相关，那么这篇文章的模型可以生成这个query，因此检索模型从P(R=1|q,d)变为了P(q|Md)，Md是文章的模型 2.语言模型：a.形式语言
tianqio·2009-06-13 18:00

文法的乔姆斯基体系——形式语言与自动机理论

注：其中V表示变量集，T表示终极符集，P为产生式，S表示开始符号。例如：A属于V，a属于TP：S->aA，A->a（产生式）。文中α，β代表属于变量和终极符。设G=（V,T,P,S），则              （1）G叫作0型文法（type0grammar），或短语结构文法（phrasestructuregrammar，PSG），其对应的语言叫作0型语言或者短语结构（PSL）、递归可枚举集（r
the_fire·2009-06-10 22:00

再看VB-面向对象

今天在上《形式语言与自动机理论》课时，脑子里冒出来这么一个东东，再联系上我们昨天看到的高院的宏伟大院儿，当我们面对一个
isiqi·2009-05-19 21:00

机器翻译随想

二机器翻译把自然语言映射到形式语言再映射到自然语言，期间最麻烦的最容易造成信息流失的我认为是自然语言到形式语言的映射这一步。自然语言和形式语言本质上都是一种知识表示工具，是不是可以说自然
interor·2009-05-18 11:00

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

从开始学计算理论，就对形式语言，编译原理很感兴趣，所以大学对这门课学的也算是最好了。
abruzzi·2009-04-01 23:00

形式文法

形式文法形式文法在计算机科学中，形式语言是某个字母表上一些有限长字串的集合，而形式文法是描述这个集合的一种方法。形式文法之所以这样命名，是因为它与人类自然语言中的文法相似的缘故。
woaidongmao·2009-03-23 13:00

JWT - 基于Eclipse的Java工作流工具

这个一个通过可扩展架构允许以支持许多不同的压力测试,形式语言和执行引擎。 主页:http://www.eclipse.org/jwt/
vwpolo·2008-10-29 15:00

扩展巴科斯范式----EBNF

扩展巴科斯范式----EBNF扩展巴科斯-瑙尔范式(EBNF)是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法符号表示法。
woaidongmao·2008-09-20 02:00

对峙

我把整个计算机软件的知识体系分成了几个部分：形式语言，操作系统，图形系统，网络系统。算法贯穿于这几个方面之间。 其中，形式语言和操作系统最为基础，而图形和网络系统可以看作基础和重要的应用。
wenjixiao·2008-06-04 10:00

丢失的 找回来(某大学计算机科学与技术课程)

40240433计算机系统结构3(春)操作系统30240243操作系统3(春)计算机组成原理,数据结构40240144编译原理4(春)数据结构40240243计算机网络3(秋)操作系统40240432形式语言与自动机
xujian161·2008-05-15 17:00

学习形式语言基础

1形式语言的基本观点是：语言是符号串的集合。2形式语言是字母表上的符号按一定的规则组成的所有符号穿集合，其中的每个符号串成为句子。
weilian17·2008-03-10 21:08

计算理论研习资料搜集一——自动机与形式语言

计算理论三大部分（自动机、可计算性和复杂性）之一——自动机 《Automata and Formal Languages》 Spring 2005 Juhani Karhum¨aki Preface Theory of formal languages (or automata) constitutes建立 a cornerstone of theoretical com
buliedian·2008-02-29 00:00

简单入门正则表达式 - 第一章 概述

一、正则表达式的诞生最初的正规表达式出现于理论计算机科学的自动控制理论和形式语言理论中。在这些领域中有对计算（自动控制）的模型和对形式语言描述与分类的研究。
rcom10002·2007-11-18 10:00

关于双数组Trie查询词典构造总结

开发者专区»关于双数组Trie查询词典构造总结2007-5-1212:25AMfirtexer关于双数组Trie查询词典构造总结[b]首先需要对词典创建一个DFA[/b]（如果对于DFA不熟悉的话，可以看看形式语言和自动机方面的书
chinalinuxzend·2007-10-15 20:00

中图法分类号（计算机，自动化）

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

中图法分类号(计算机专业)和文献标识码

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

中图法分类号(计算机专业)和文献标识码

　计算机理论与方法 　　　　TP3-05　计算机与其他学科的关系 　　　TP30　一般性问题 　　　　TP301　理论、方法 　　　　　TP301.1　自动机理论 　　　　　TP301.2　形式语言理论
pleasetojava·2007-03-02 16:00

上周技术关注：上个世纪重要IT发明牛人

Wiki发明者沃德坎宁安曾就职于微软公司，领导形式语言的研究，并在两年前
txf2004·2006-05-15 19:00

上周技术关注：上个世纪重要IT发明牛人

Wiki发明者沃德坎宁安曾就职于微软公司，领导形式语言的研究，并在两年前
ihuashao·2006-05-15 19:00

上周技术关注：上个世纪重要IT发明牛人

Wiki发明者沃德坎宁安曾就职于微软公司，领导形式语言的研究，并在两年前
webcode·2006-05-15 19:00

本周之三个具有现实意义的梦

本周之三个具有现实意义的梦 梦1:      梦里，一位长相及风格酷似我的某位才华横溢的高中同学的模样的人，于编译原理课间休息时分，走上了讲台，大谈自己对形式语言及自动机的感悟，还随手出了10道题，大有
EmilMatthew·2006-04-15 09:00

2006 购书计划

linux内核分析3.形式语言学4。编译原理先打算买这些，有什么好的，再说了~
bm1408·2006-01-08 15:00
上一页 2 3 4 5 6 7 8 9 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他