[Compilers] Ch2 A Simple Syntax-Directed Translator
2024-11-02 516 words 2 mins

[Compilers] Ch2 A Simple Syntax-Directed Translator

Ch2 A Simple Syntax-Directed Translator

编译原理的第二章笔记, 描述了一个例子. 讲道理这个例子看得人非常迷惑.

[RL] 第二讲: 马尔科夫决策过程
2024-11-02 5.8k words 23 mins

[RL] 第二讲: 马尔科夫决策过程

基于上海交通大学强化学习课程系列课程学习RL的笔记.
SJTU RL Course (wnzhang.net)

此为第二讲的内容, 主要讲述了马尔科夫决策过程MDP的概念, 并给出了策略度量, 策略值函数, 基于值函数进行策略提升的内容.

[CF记录] Round 975
2024-11-02 3k words 11 mins

[CF记录] Round 975

记录CF竞赛的经历.

[Compilers] Ch1 导论: Introduction
2024-11-02 2.1k words 8 mins

[Compilers] Ch1 导论: Introduction

CH1 Introduction

编译原理一书, Introduction一章的阅读笔记. 因为是introduction所以不用看得那么认真, 随便看看就好. 需要把热情留到后面.
在写这篇博客时, 对编译原理的整体理解还不是很深入, 因此可能有错漏. 预计会在全部学完之后, 对这篇introduction中的内容进行检查更正.

[CF记录] Round 973 && 974
2024-11-02 2.3k words 8 mins

[CF记录] Round 973 && 974

记录初探CF竞赛的经历.

文艺作品补完计划: 那些"必看的"书籍电影
2024-11-02 320 words 1 min

文艺作品补完计划: 那些"必看的"书籍电影

整了一个"文艺作品补完计划", 汇总了搜集到的一些榜单. 大致上从经典文学, 网络文学, 番剧轻小说, 电影, 电视剧几个方面, 尝试列出一个"不可不看"表. 这个表只起一个参考价值, 各人的兴趣喜好不同, 榜上内容当然也不能获得所有人的喜爱.

[Automata] Ch1 导论: The Methods and the Madness
2024-11-02 2.1k words 8 mins

[Automata] Ch1 导论: The Methods and the Madness

CH1 INTRODUCTION

学习课程"形式语言与自动机"时做的笔记, 内容主要来自 Automata Theory, Languages, and Computation一书的第一章. 提及的内容主要是形式化证明的知识.

[Compilers] Ch3 词汇分析: Lexical Analysis
2024-11-02 1.9k words 8 mins

[Compilers] Ch3 词汇分析: Lexical Analysis

Ch3 Lexical Analysis

编译原理的第三章笔记, 讲述了词法分析器的内容.

[Automata] Ch2 有穷自动机: Finite Automata
2024-11-02 4.2k words 19 mins

[Automata] Ch2 有穷自动机: Finite Automata

CH2 Finite Automata

关于有穷自动机, 包括DFA与NFA的形式化定义, DFA与Language一一对应的证明, 以及DFA与NFA的等价性的证明.

Hello World -- 基于Hexo和githubio搭建博客的过程
2024-11-02 1.1k words 4 mins

Hello World -- 基于Hexo和githubio搭建博客的过程

简要记录了一下搭建博客的过程.

[misc] 迁移你的hexo网站
2024-11-01 1k words 4 mins

[misc] 迁移你的hexo网站

迁移hexo的step by step 浓缩记录

backtop