形式语言

Atitit软件理论方面的书籍

：21.1.(1)程序理论(程序逻辑、程序正确性验证、形式开发方法等)21.2.(2)计算理论(算法设计与分析、复杂性理论、可计算性理论等)21.2.1.算法与算法复杂性理论21.3.(3)语言理论(形式语言理论
ati艾龙AttilaxAkb·2020-02-23 19:47

为什么现在会有这么多种编程语言？

最古老的高级语言有FORTRAN、ALGOL和COBOL，以及一种同样古老但是来源迥异的LISP（严格来说，LISP是先作为一种形式语言发明出来，继而人们发现它可以用汇编语言转写给机器执行，后来甚至有专门运
葡萄喃喃呓语·2020-02-23 13:55

我是雕刻师--关云长铜塑合集欣赏

利用艺术的眼光重新审视传统文化题材，了解关公文化，揣摩人物特征，摒弃庙堂化色彩，依托雕塑艺术形式语言将关云长进行新的演绎。通过雕塑创作实践将中国民族传统文化进行传承和弘扬。
我是雕刻师·2020-02-14 14:10

李晓松艺术工作室 | 国画中山石的画法技巧

皴法是表现各种石质纹络的主要手段；是中国画特有的绘画技巧和符号化的形式语言；它既具象，又抽象；它可以表现具象的山川地貌，画家也可以通过它表现自己特有的审美取向和精神气质；也是国画区别其他画种表现自然景观的主要特征之一
时代水墨·2020-02-10 20:15

[PLT] 柯里化的前生今世（十三）：Weak head normal form

1.形式系统（Formalsystem）在逻辑学与数学中，一个形式系统由两部分组成，一个形式语言加上一套推理规则。一个形式系统也许是纯粹抽象地制定出来的，只是为了研究其自身。
何幻·2020-02-09 18:32

Lecture 10 循环神经网络

本课重点：RNN的概念与多种形式语言模型图像标注、视觉问答、注意力模型RNN梯度流1RNN的概念与多种形式1.1形式普通的神经网络会有一个固定的输入（比如一张图片、一个向量），经过一系列隐藏层得到一个固定的输出
HRain·2020-02-05 07:35

Lambda 学习笔记

历史莱布尼茨曾有过以下两个想法：创造一门‘形式语言’，来描述所有可能的问题找到一种方法，可以解决所有该形式语言描述的问题第二个问题被称为Entscheidungsproblem（可判定性）。
BirdEggegg·2020-02-02 19:06

用才情写意，在淡然中，王家训写出淡雅情致的人文精神

王家训的写意人物画多以古意人物及其生活状态为主，无论从作品的体裁、构思、章法、意境诸方面均能多方采纳传统神韵，十分注意形式语言的个性融会贯通，强调画面与现代感相对应，在灵动的线条和人物造型中，独具匠心地完成了从自然物象到艺术心象的转换
正广文化·2020-02-02 08:52

参考书目

线性代数(1)程序设计基础离散数学(1)计算机科学导论大一下微积分A(2)线性代数(2)离散数学(2)面向对象程序设计基础大二上数据结构复变函数引论电子学基础大二下概率论数理统计随机数学方法人工智能导论形式语言与自动机数字逻辑电路数字逻辑实验计算机图形学基础初等数论高性能计算导论大二小学期
yhyangjiabin·2020-01-15 22:34

必须让孩子学会的底层能力

由此需要孩子做出更多的判断和决策，独立思考的能力可以让孩子凡事有自己的主见，深入思考的能力让孩子学会透过现象看本质，正确思考的能力让孩子对自己的思想有敏锐的察觉，懂得辩别正确和错误的路径2表达能力表达能力分多种形式语言表达文字表达图画表达动作表达多种形式的综合表达表达是沟通的基础
笑颜_5888·2020-01-01 02:33

清华艺考培训-打倒“灰调”，中国油画才能获得新生

油画传入中国已有百余年，它以一种外来的艺术形式，经过几代人的发展，至今已经有不少油画艺术家找到了适合自己的形式语言，在他们的作品中体现出一些相同或相似的风格和类型性，其中，“灰调”类型最为明显。
鲸腾画室·2019-12-30 20:15

聊生命

就像你不能提着自己头发脱离地面，系统需要外来的力量打破，或者从上一层次，高于这个层次的来改变，比如塔尔斯基的形式语言的真理论⑵:必须区分对象语言和元语言,关于一语句的真、假的表述,必须用层次上高于这种语言的语言来表述
一簇光·2019-12-28 03:30

C语言入门前须知基础！C语言基础教学档案！编号零零肆

AC程序（用来定义计算机程序的形式语言）中的每条指令都是令牌的集合。令牌用于构建c程序，它们被称为AC程序的基本构建块。
这个人很懒什么都没留下·2019-12-26 17:15

「知乎」如何证明不可计算的函数比可计算的函数多？ - 陈威严的博客

这篇文章转载自我在知乎上的回答严谨的证明的话，可以使用「形式语言」（Formallanguage）来证明：在可计算理论和计算复杂度理论中，每个「计算问题」都被描述为一个一个「形式语言」，即字符串的集合。
李建明180·2019-12-25 23:00

深入理解 JavaScript 正则表达式的特性与最佳实践

正则表达式起源于对形式语言的数学研究，KenThompson写出了一个切实可行的模式匹配器，它能被嵌入到编程语言中。JavaScript正则表达式的语法对Perl进行了改进与扩张。
deniro·2019-12-21 08:31

AboutFace（四）交互框架

设计框架定义了用户体验的整个结构，包括交互框架与视觉设计框架，有时候还有工业设计框架，这些包括底层组织原则，屏幕上功能元素的排列，工作流程，产品交互、传递信息的视觉和形式语言、功能性和品牌识别等定义产品的交互框架
mooonx·2019-12-20 04:19

「读书笔记」20世纪50-80年代中国、德国产品设计回望

在德国的产品设计领域，DDR时期的设计以其简洁的形式语言成为设计史上独立的形式符号。在德国，已有理论家和学者对德国20世纪50年代到80年代的产品设计作了系统的总结，而中国在
南朵·2019-12-18 09:50

形式语言总结（上下文无关文法与正则文法）

形式语言理论形式语言理论是用数学方法研究自然语言和人工语言如程序设计语言的语法的理论。它只研究语言的组成规则，不研究语言的含义。
Crystalajj·2019-12-18 00:29

东北寒地建筑的“原真性”（《寒地建筑》）

东北寒地建筑的形式语言与其文化积淀有着直接相关的因果承袭关系。
刘小博·2019-12-13 05:04

从马赛克到“超级码粒”的“裂变”

万德斯的碧莎马赛克作品《咖啡桌》，每一颗马赛克都由意大利工匠亲手铺贴，仿佛外面包裹着柔软的织物；孙韬、叶南的《浪漫水城》用大块料马赛克镶嵌出一个波光粼粼的威尼斯——由中央美院壁画系主办的“超级码粒——马赛克教学与形式语言研究展
中国艺术报·2019-11-22 00:00

从马赛克到“超级码粒”的“裂变”

万德斯的碧莎马赛克作品《咖啡桌》，每一颗马赛克都由意大利工匠亲手铺贴，仿佛外面包裹着柔软的织物；孙韬、叶南的《浪漫水城》用大块料马赛克镶嵌出一个波光粼粼的威尼斯——由中央美院壁画系主办的“超级码粒——马赛克教学与形式语言研究展
中国艺术报·2019-11-22 00:00

一个全是“打码”的展

超级码粒——马赛克教学与形式语言研究展11/08-11/3010:00-18:00（周一闭馆）10:00-17:30北京利星行文化艺术中心免费参展艺术家（按拼音先后排序）白晓刚、白诗齐、曹力、CaseyReas
文艺生活周刊·2019-11-21 00:00

NLP入门之形式语言与自动机学习(三)

在前边的文章中我们把简单的需要的基础知识简单的列举了一遍,包括简单的集合逻辑,还有图论以及一些的证明方法等等,接下来我们将要开始我们正式的关于形式语言的学习,所以这一篇文章,我们将说一下什么是语言,以及语言的一些分类规则
云时之间·2019-11-07 14:52

粗通正则表达式

什么是正则表达式在理论计算机科学和形式语言理论中，正则表达式是定义了一个检索模式的字符串。由字符串搜索算法在文本中检索、替换匹配正则表达式定义的字符串。
戴小白·2019-11-02 15:05

#编译原理# 文法和内容（二）

学习指导与典型题解析》、AlvinZH的学习笔记以及个人理解目前是包含了全部内容的版本，后续会推出精简版和复习知识点版如有建议或错误错误欢迎在评论中指出或联系我：QQ：847590417阅读目录本章内容2.1形式语言基础
稼軒·2019-09-15 22:00

逻辑学在中国遭难

1930年代，逻辑学相继取得了三个划时代的成果（哥德尔不完全性定理、塔斯基形式语言真理论、图灵机及其应用理论），为现代逻辑学的蓬勃发展奠定了理论基础。
韩军在线·2019-08-27 13:46

逻辑学在中国遭难

1930年代，逻辑学相继取得了三个划时代的成果（哥德尔不完全性定理、塔斯基形式语言真理论、图灵机及其应用理论），为现代逻辑学的蓬勃发展奠定了理论基础。
韩军在线·2019-08-27 13:46

江山妖娆色艳丽，梦翁仙境妙在笔

绘画作品一向是通过某种形式语言和情感意味去阐发画家自身对于事物的理解和内心希冀的。画作的形式语言和文化情愫的酝酿和形成，总是关乎于画家的生活和成长的环境及从艺过程的。
艺术资讯网·2019-08-17 13:39

江山妖娆色艳丽，梦翁仙境妙在笔

绘画作品一向是通过某种形式语言和情感意味去阐发画家自身对于事物的理解和内心希冀的。画作的形式语言和文化情愫的酝酿和形成，总是关乎于画家的生活和成长的环境及从艺过程的。
艺术资讯网·2019-08-17 13:39

色彩六步骤？

①-·先观察·无论是写生还是画照片还是临摹，都应该花上3～5分钟时间先观察画面，理解好色调、画面构成、形式语言、做到胸有成竹。
高考美术传播·2019-08-07 19:11

形式语言与自动机学习小部分内容复述笔记

形式语言与自动机学习小部分内容复述笔记@[toc]本文说明本文内容仅仅是稻云麦花（可恶，这几天因为邪恶的西方势力无法改昵称真惨，过了这一段时间我就改昵称）根据自己所学的记忆，尽量不看书或其它的资料，仅仅凭借闹钟记忆和理解
稻云麦花·2019-07-15 16:56

哈尔滨工业大学2019年《形式语言与自动机》期末试题

哈尔滨工业大学2019年《形式语言与自动机》期末试题DesignaDFAforthelanguageL={w∈{0,1}*|wcontainsboth01and10assubstrings}.DesignaNFAwithinfourstatesforthelanguage
강구연월·2019-07-03 20:44

色彩六步骤？

①-·先观察·无论是写生还是画照片还是临摹，都应该花上3～5分钟时间先观察画面，理解好色调、画面构成、形式语言、做到胸有成竹。
高考美术传播·2019-06-17 12:21

哈工大形式语言复习

1.语法二义性：对于一个CFL,有两种最左推导能推导出同一个效果：2.正则语言的泵引理：对于正则语言L对于任意n任意w属于L，w>=n,都能写成w=xyz(1)xy长度<=n(2)y!=null(3)对于任意k，xy^kz属于L。如果不成立那么不是正则语言3.上下文无关语言的泵引理：两个正则语言的交还是正则的
canaryW·2019-06-14 16:17

一、【认识python】hello world

前修知识：欢迎来到新世界~helloworld1、编程语言:俗称计算机语言.是用来定义计算机程序的形式语言.它是一种标准化的交流技巧.用来向计算机发出指令.一种计算机语言它让程序员能否准确的定义计算机所需的数据
创造new_world·2019-05-27 13:35

编程，计算机组成

编程，计算机组成一.Typora关于用Typora自我感觉良好，基本快捷键也比较简单，ps:还是要多用用二.编程1.编程语言是用来定义计算机程序的形式语言。
小小咸鱼YwY·2019-04-25 20:00

C语言：二进制模5

若输入的字符包含除0、1以外的值，则输出：invalid2、若输入的为二进制字符串，则输出所计算的其模五的值3、若其输入字符均为0、1，但是第一个输入的字符为0则输出：irregular思路：可以参照所学的形式语言与自动机理论里面的自动机思想来做题
治愈系的江予夺·2019-04-24 20:00

脚本语言、编程语言区别与联系

编程语言特点(1)用来定义计算机程序的形式语言，是一种将程序员所定义的代码，编译即翻译成计算机所认识的二进制代码的工具，(2)编译语言是程序在执行之前需要一个专门的编译过程，运行时不需要重新编译，直接使用编译的结果就行了
dream6104·2019-04-17 22:35

常用的编程语言介绍以及各语言的特点（前端，前端框架，后端）

常用的编程语言介绍以及各语言的特点编程语言（programminglanguage），是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。
xinyuxinwu·2019-03-28 09:55

NLP(自然语言处理)详细笔记

持续更新中…(本文主要是宗成庆老师的统计自然语言处理笔记，以代码实现为主)NLP目录持续更新中...第三章：形式语言与自动机1.自动机在自然语言处理中的应用1.1编辑距离第三章：形式语言与自动机1.自动机在自然语言处理中的应用
Mr-Cat伍可猫·2019-03-27 22:21

常用编程语言介绍和特点

编程语言（programminglanguage），它是用来定义计算机程序的形式语言，它是一种被标准化的交流技巧，用来向计算机发出指令。
APARDTR·2019-03-27 21:16

泛用性编程

开发语言本身来说只是就是用逻辑性解决问题而生，度娘定义为计算机程序形式语言。
hecore·2019-03-05 12:00

泛用性编程

开发语言本身来说只是就是用逻辑性解决问题而生，度娘定义为计算机程序形式语言。
hecore·2019-03-05 12:00

泛用性编程

开发语言本身来说只是就是用逻辑性解决问题而生，度娘定义为计算机程序形式语言。
hecore·2019-03-05 12:00

第5周题目:翻硬币

堆栈在形式语言理论中也很重要。现在的问题涉及黄油和煎饼(而不是面包)，同时还有一个根据唯一但完整的规则来翻煎饼的服务器。
---dgw博客·2019-01-07 09:00

通过编程语言窥视UBTC（比特联储）智能合约

原作者：币事通（文中略有修改）编程语言，是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。
bibitalk·2018-11-28 16:08

基于CYK+PCFG的短语结构句法分析

形式语法理论的目的是试图用精确的数学模型(形式语言)来刻划自然语言。句法分析根据形式语法的不同可以分为基于短语结构语法的句法分析和基于依存关系语法的依存句法分析。
不愿透露姓名的广外男子·2018-11-25 23:05

形式语言

形式语言1.关于语言的定义人类所特有的用来表达意思、交流思想的工具，是一种特殊的社会现象，由语音、词汇和语法构成一定的系统。2.语言描述的三种途径穷举法—只适合句子数目有限的语言。
SHAN某人·2018-11-08 21:04

正则表达式的真正威力(0)

“正则”到底是什么意思在形式语言理论中，说一个东西是“正则（regular）”那么其
cwt8805·2018-10-31 12:09

【从菜鸟到高手】 正则表达式

1.2正则表达式是一种形式语言（formallanguage）1.3正则表达式的应用二、正则表达式的理解和使用2.1代词2.2量词：Quantification2.3定位词2.4选择器:2.5反向引用：
墨城之左·2018-10-15 18:38
上一页 2 3 4 5 6 7 8 9 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他