summaryrefslogtreecommitdiff
path: root/content/posts/weekly/32.md
diff options
context:
space:
mode:
authorEltrac <hi@guhub.cn>2025-09-24 22:08:05 +0800
committerEltrac <hi@guhub.cn>2025-09-24 22:08:05 +0800
commit0d03ec03dd566d4f2f4079a57fc2d25cbe2a717c (patch)
tree265a386a5f48fb6d5354a795b269b4c998108f23 /content/posts/weekly/32.md
parent502dedc616d738112f4c368b6cf71a20b7c9cae6 (diff)
docs: remove all embedded cards
Former-commit-id: b58370a672748b5662044a68b3fdaa4f75efc200
Diffstat (limited to 'content/posts/weekly/32.md')
-rw-r--r--content/posts/weekly/32.md75
1 files changed, 68 insertions, 7 deletions
diff --git a/content/posts/weekly/32.md b/content/posts/weekly/32.md
index 303cf11d..863902c9 100644
--- a/content/posts/weekly/32.md
+++ b/content/posts/weekly/32.md
@@ -31,13 +31,13 @@ endnotes:
一起欣赏 Sabrina Carpenter 带来的夏日小品吧。我觉得匠妹的作品一直有一些凝视男性的意味,有人称她为 Horny Shakespares,我也挺喜欢这个说法的。
> Why so sexy
->
+>
> If so dumb
->
+>
> And how survive the earth so long
> Oh, I like my boys playing hard to get.
->
+>
> And I like my men all incompetent.<!--more-->
## 🙋 在做什么
@@ -180,15 +180,76 @@ Canonical 给他发来了长达 300 页的 PDF 文档,其中,几乎所有的
人们关注的不是事实,而是技术潮流。
-[#技术](/tags/技术/) [#AI](/tags/AI/)
+[#技术](/tags/技术/) [#AI](/tags/AI/)
## 💡 新知复盘
-{{< card "图灵机和可计算性理论" >}}
+### 图灵机
+
+图灵机(Turing machine)是一种理想的计算模型,是一种假想的由纸带、读写头和一定计算规则组成的机器,可以用来模拟任何可以计算的问题。你可以把图灵机理解为一种抽象的、通用的计算机。
+
+#### 图灵可计算性
+
+如果一个函数可以被图灵机计算并得出答案,这个函数就具有图灵可计算性(Turing-computability)。从现实层面来讲,任何可以在计算机上模拟的问题都是图灵可计算的,只要这个问题可以由计算机程序给出答案而不会陷入死循环。
+
+停机问题(Halting Problem)不是图灵可计算的,它要求计算机判断一个程序在给定的输入下会停机还是会陷入死循环。图灵机和任何计算机都不能解决它。
+
+```C
+// 停机问题的伪代码表示
+int H(procedure,Input);
+int U(P)
+{
+ while(H(P,P)){}
+ return 0;
+}
+```
+
+#### 图灵完备
+
+如果一个系统(一系列操作数据的规则)可以模拟图灵机(Turing machine),就说它是**图灵完备**的(Turing-complete)。简单来说,具有图灵完备性的系统可以识别另一个系统的数据操作规则,图灵完备的计算机或计算机语言可以模拟另一种计算机或计算机语言的行为和用途。
+
+- 几乎所有编程语言都是图灵完备的,这表示几乎所有编程语言都可以被用来重新编写由另一种编程语言实现的计算机程序,能实现其他语言也能实现的功能。如果一个编程语言能实现条件判断、循环和变量,它基本上就是图灵完备的。
+- 标记语言(数据语言)不是图灵完备的,比如 JSON、XML、HTML 和 Markdown,因为他们只能描述数据而不能描述行为。
+
+如果一个系统是图灵完备的,那它就可以被用来模拟另一个图灵完备的系统。也就是说,这两个系统是图灵等价的。
+
+#### 图灵等价
+
+如果系统 A 可以模拟系统 B,而系统 B 也可以模拟系统 A,那么系统 A 和系统 B 就是**图灵等价**的。
+
+所有图灵完备的系统都是图灵等价于图灵机的。
+
+<span style="font-size:80%">Source: [图灵完备性 - 维基百科,自由的百科全书](https://zh.wikipedia.org/zh-cn/圖靈完備性)、[可计算性理论 - 维基百科,自由的百科全书](https://zh.wikipedia.org/zh-cn/可计算性理论)</span>
+
+### 法语中不发言的字母
+
+Les lettres muettes:
+
+1. 单词末尾的 P、D、T、S、X 和 Z
+ - 如:froid、trois、petit、deux
+2. 复数形式单词末尾的 S 和 X
+ - 如:châteaux、étoiles、voitures<!--more-->
+3. 单词末尾的 E
+ - 如:table、pomme、robe、**porte**、vie
+ - 值得注意的是,在末尾有 E 的情况下,在 E 之前的原本不发音的字母需要发音,例如 porte 中的 T 原本不发音,但因为 E 的存在,T 需要发音
+4. 复数形式动词末尾的 -ENT
+ - 如:parlent、mangent、choisissent
+
+[联诵](/cards/liaison/)(liaison)会激活原本不发音的辅音。
+
+<span style="font-size:80%">Source: [YouTube](https://www.youtube.com/watch?v=sSCEoAWw0q4)</span>
+
+### 联诵
+
+联诵(liaison)是法语的语法规则之一。当前一个词以辅音结尾(通常是[不发音的](/cards/法语中不发音的字母/)),后一个词以元音或哑音 h 开头,前一个词末尾的辅音会被激活,与后面的元音连接起来,使得语音连贯自然。
+
+例子:
-{{< card "法语中不发音的字母" >}}
+- les^amis
+- vouz^avez
+- petit^enfants
-{{< card "liaison" >}}
+法语的联诵和英语的连读(linking sound)的区别在于:联诵是强制要求的语法规则,有正确和错误之分,而且联诵还会要求在发音时加入新的音素(即原本不发音的字母需要发音了);连读是自然的语音现象,连读的有无仅仅是口音的差别。
## 🗣️ 碎碎念