记录

我还活着

一些片段的突发奇想，我觉得有必要记录下来，因为过一段时间我可能就忘了，到那时回忆起来只剩下空欢喜和遗憾了…

诚如标题所言,不要再用了

为什么?事情还要从我瞎折腾开始:某天看到群友推荐开源的auth验证器,心里不免痒痒,也想试试,所以就开始想办法导出微软的authenticator中的密钥,发现了一个震惊的事:它导不出来!!!,这意味着,我只能通过微软账户来迁移这些一次性验证密钥,但关键的是,只能迁移微软的,第三方账户的并没有通过云存储来迁移,我不禁为之冷汗,下定决心要迁移这些,不然早晚有一天要被它绑死

网址

doc:hexo-theme-wang

github:xingwangzhe/hexo-theme-wang: 一个简约的hexo主题

呕心沥血

我想是时候为我这个hexo主题建立文档了

宣传

你今天看我的世界大电影了吗?

从小就听说我的世界要出大电影了,没想到,这一等,就差不多是十年…

指定windows下docker安装位置是本文要点

什么是docker?

Greenscreen

哈哈,怎么变成绿色黑客风格了,搞得像有什么技术更新一样😀

简介

MinerU是由OpenDataLab团队打造的大模型时代的文档提取/转换神器

支持PDF、Word、PPT等多种文档的智能解析，可用于机器学习、大模型语料生产、RAG等场景…

FIRST集

1

FIRST(X): 可以从X推导出的所有串首终结符构成的集合

如果$X \Rightarrow {}^* \varepsilon$.那么 $\varepsilon \in FIRST(X)$

例

$$\begin{align*} \textcircled{1} &\ E \to TE' & \text{FIRST}(E) &= \lbrace (, \text{id} \rbrace \\ \textcircled{2} &\ E' \to +TE' \mid \varepsilon & \text{FIRST}(E') &= \lbrace +, \varepsilon \rbrace \\ \textcircled{3} &\ T \to FT' & \text{FIRST}(T) &= \lbrace (, \text{id} \rbrace \\ \textcircled{4} &\ T' \to *FT' \mid \varepsilon & \text{FIRST}(T') &= \lbrace *, \varepsilon \rbrace \\ \textcircled{5} &\ F \to (E) \mid \text{id} & \text{FIRST}(F) &= \lbrace (, \text{id} \rbrace \end{align*}$$

算法

S_文法

文法转换

1. 例

$$文法G\\ S \rarr aAd | aBe \\ A \rarr c \\ B \rarr b \\ 输入 a b c$$

不知道写点什么,所以记一下,以防失忆

DFA

确定有限自动机(Deterministic Finite Automaton,DFA)是一种计算模型,常用于模式匹配、词法分析等领域。

定义

一个 DFA 可以用一个五元组 $(Q, \Sigma, \delta, q_0, F)$ 来表示,其中：

• $Q$ 是一个有限的状态集合。
• $\Sigma$ 是一个有限的输入符号集合。
• $\delta$ 是状态转移函数,它将 $Q \times \Sigma$ 映射到 $Q$。也就是说,对于当前状态和输入符号,DFA 有唯一的下一个状态。
• $q_0$ 是初始状态,$q_0 \in Q$。
• $F$ 是接受状态集合,$F \subseteq Q$。

回顾

偏序关系

$<A,\leq>$是偏序集:$\leq 是A上自反,反对称,和传递关系(偏序).$

$偏序集中的元素间的次序可以通过它的Hasse图反映出来.$

$偏序集中的重要元素:极大(小)元,最大(小)元,上(下)界,上(下)确界.$