计算理论初探
文章平均质量分 73
ApeLi
曾经信竞蒟蒻,如今码农废柴
展开
-
计算理论初探(3)
选题:关于PvsNP问题的探究原创 2022-05-12 10:26:45 · 417 阅读 · 0 评论 -
计算理论初探作业(1.2)
选题:形式语言与自动机理论的发展 近几十年以来,计算机领域的技术迭代更新一直保持在一个极高的速度,现在流行的工具、框架甚至语言,都可能很快过时。但值得一提的是,其中整体思维与基本框架仍然没有改变:形式语言给出了语言的语法规则和分类的形式化方法,而自动机则描述了能够识别的语言的自动装置。 形式语言与自动机的相关理论主要由以下三个重要研究成果作为构成的基石,而本篇论文也主要通过对其进行分析介绍来阐述形式语言与自动机理论的发展。1.Chomsky对自然语言的研究2.Backus-Naur Form的提原创 2022-05-11 08:41:49 · 280 阅读 · 0 评论 -
计算理论初探作业(1.1)
选题:C语言中符号形成规则的形式化描述 C语言中基本语法单位可分为关键字,标识符,运算符,常量,分隔符这五种,以下将分类讨论其形成规则。标识符I —> LI —> ILI —> IDL—>a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|zD—>0|1|2|3|4|5|6|7|8|9关键字I —>void|signed|unsigned|short|long|int|float|double|char|原创 2022-05-07 19:45:33 · 278 阅读 · 0 评论