Loading...
Articles
2143
Tags
2145
Categories
40
Home
Archives
Tags
Categories
About
守株阁
Search
Home
Archives
Tags
Categories
About
计算理论
Category - 计算理论
2026
2026-05-21
停机问题:为什么某些判断没有通用程序
2026-05-21
通用性:一种机器怎样模拟另一种机器
2026-05-21
不用数字也能计算:Church 编码
2026-05-21
写一个 lambda 规约器
2026-05-21
lambda 演算入门:函数为什么足够表达计算
2026-05-21
用 Python 写一台图灵机
2026-05-21
图灵机:纸带、读写头和最小通用计算
2026-05-21
下推自动机:多一只栈就能处理嵌套
2026-05-21
正则表达式如何变成自动机
2026-05-21
非确定性有限自动机:一次保留多个可能世界
1
…
18
19
20
…
22
magicliang
关于技术以及人生
Articles
2143
Tags
2145
Categories
40
Github
Announcement
人生只是,守株待兔
Recent Posts
东欧剧变 15:为什么旧秩序瓦解以后,欧洲仍未获得共同安全
2026-10-23
东欧剧变 14:普通人的转型十年,1989—1999
2026-10-23
东欧剧变 13:南斯拉夫各战区为什么走向不同结局
2026-10-23
东欧剧变 12:南斯拉夫怎样从联邦危机走向战争
2026-10-23
东欧剧变 11:1991年最后几个月,从八月事件到苏联终结
2026-10-23
Categories
AI
80
Java
116
持久化
2
Java EE 企业应用
24
Kotlin 语言与 JVM 工程
48
Perl
60
Python 语言与工程
31
Python:从对象模型到并发与工程实践
17
Tags
影评
杨幂
诺兰
JVM
Java
异常处理
区块链
Hyperledger
Corda
私有链
联盟链
共识算法
科幻
Docker
Socket
JavaScript
KOA
javac
JIT
字节码
性能优化
数据库
MySQL
MariaDB
github
hexo
Linux
虚拟化
hypervisor
互联网金融
FinTech
面向对象
编程语言
编程范式
tag
操作系统
Go
大数据
体系结构
vim
Archives
October 2026
1237
September 2026
244
August 2026
100
July 2026
54
June 2026
80
May 2026
90
April 2026
19
March 2026
14
Website Info
Article Count :
2143
Total Word Count :
7667.1k
Unique Visitors :
Page Views :
Last Update :
簡
Search
Loading Database