• 2024-09-07计算理论初步——形式语言与自动机
    形式语言入门一、字符串理论1.理论模型:AAA是一个有限字母集,我们定义AA
  • 2024-03-28形式语言理论简介及应用
    文章目录一、形式语言理论是什么二、形式语言理论的相关概念三、形式语言的语法规则如何构成四、形式语言理论的应用一、形式语言理论是什么形式语言理论是计算机科学中的一个分支,研究形式语言的性质、结构和应用。形式语言是一种用于表示信息的抽象系统,它由一组符
  • 2024-01-13速通 形式语言与自动机
    有啥要学的?DFA/NFA的记号:\((Q,\Sigma,\delta,q_0,F)\)。NFA到DFA:子集构造(到\(2^n\)级别的构造:所有最后第\(n\)位为\(1\)的01串)。\(\varepsilon-\)NFA到DFA:类似地进行子集构造,每次转移时考虑对应\(\varepsilon-\)闭包。文本搜索:trie树(记得加上根到自身的\(\Si
  • 2022-12-13软件工程:关于形式化方法
    形式化方法(FormalMethods),在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,
  • 2022-11-22形式语言自动机(3)—— 三种有穷自动机
    形式语言自动机课程笔记学到编译原理的时候用到了相关概念,复习自动机正好把以前的笔记整理一下也贴上来文章目录​​〇、我的理解​​​​一、确定型有穷自动机(DFA)​​​​(1
  • 2022-11-193.4形式语言鸟瞰
    乔姆斯基于1956年建立形式语言体系,他把文法分成四种类型:0,1,2,3型与上下文无关文法一样,它们都由四部分组成但对产生式的限制有所不同G=(VT,VN,S,P)VT:终结
  • 2022-10-20形式语言
    形式语言形式语言是真实语言(程序设计语言、自然语言等)的一种数学模型。形式语言认为:语言是符号串的集合。形式语言定义:字母表上的符号,按一定的规则组成的所有符号串之
  • 2022-10-06幂集
    子集幂集参考:《形式语言与自动机-杨娟第2版》第1章-基础知识1.1-集合与关系