博客
归档
友链
关于
博客
归档
友链
关于
自动机理论
大概都是学习中的只言片语…… 概念 最简单的非平凡有穷自动机是两相开关。 形式化命题 求助于定义 借助定义,表达为数学语言。 SSS 是有穷的 ↔\leftrightarrow↔ 存在整数 nnn,使得 ∣∣S∣∣=n||S||=n∣∣S∣∣=n。 带量词的命题 当且仅当命题 表示为 A iff B。符号:A≡BA \equiv BA≡B 和 A↔BA \leftrightarro...
2022-06-19
阅读全文