^Ebbinghaus, H.-D.; Flum, J.; Thomas, W. Mathematical Logic 2nd. New York: Springer. 1994: 11. ISBN 0-387-94258-0. By an alphabet we mean a nonempty set of symbols.
^Rautenberg, Wolfgang. A Concise Introduction to Mathematical Logic (PDF) Third. Springer. 2010: xx [2022-08-26]. ISBN 978-1-4419-1220-6. (原始内容 (PDF)于2022-03-02). If 𝗔 is an alphabet, i.e., if the elements 𝐬 ∈ 𝗔 are symbols or at least named symbols, then the sequence (𝐬1,...,𝐬n)∈𝗔n is written as 𝐬1···𝐬n and called a string or a word over 𝗔.
外部链接
John, E. Hopcroft; Jeffrey, D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing. 1979. ISBN 0-201-02988-X.
字母表, 计算机科学, 此條目可参照外語維基百科相應條目来扩充, 若您熟悉来源语言和主题, 请协助参考外语维基百科扩充条目, 请勿直接提交机械翻译, 也不要翻译不可靠, 低品质内容, 依版权协议, 译文需在编辑摘要注明来源, 或于讨论页顶部标记, href, template, translated, page, html, title, template, translated, page, translated, page, 标签, 在计算机科学中, 字母表是字符或数字的有限集合, 最常见的字母表是二元字母表,. 此條目可参照外語維基百科相應條目来扩充 若您熟悉来源语言和主题 请协助参考外语维基百科扩充条目 请勿直接提交机械翻译 也不要翻译不可靠 低品质内容 依版权协议 译文需在编辑摘要注明来源 或于讨论页顶部标记 a href Template Translated page html title Template Translated page Translated page a 标签 在计算机科学中 字母表是字符或数字的有限集合 1 最常见的字母表是二元字母表 0 1 有限字符串是来自字母表的字符的有限序列 2 例如二元字符串是来自字母表 0 1 的字符构成的字符串 字符的无限序列也可以用来自一个字母表的元素来构造 给定一个字母表S displaystyle Sigma 我们写S displaystyle Sigma 来指示在字母表S displaystyle Sigma 上的所有有限字符串的集合 这里的 displaystyle 指示Kleene星号算子 我们写S displaystyle Sigma infty 偶尔S N displaystyle Sigma mathbb N 或S w displaystyle Sigma omega 来指示在字母表S displaystyle Sigma 上的所有无限序列的集合 例如 如果我们使用二元字母表 0 1 则字符串e 0 1 00 01 10 11 000等都将在这个字母表的Kleene闭包中 这里的e表示空串 字母表在形式语言 自动机和半自动机理论中相當重要 自动机如确定有限状态自动机 DFA 要求在形式定义中有字母表 目录 1 符号表示 2 应用 3 参见 4 来源 5 外部链接符号表示 编辑如果L是一种形式化语言 即一个 可能是无限的 有限长度字符串的集合 那么L的字母表就是L的任何字符串中出现的所有符号的集合 例如 如果L是C编程语言中所有变量标识符的集合 那么L 的字母表就是集合 a b c x y z A B C X Y Z 0 1 2 7 8 9 给定一个字母表S displaystyle Sigma 则字母表S displaystyle Sigma 上所有长度为n displaystyle n 的字符串的集合由S n displaystyle Sigma n 表示 表示所有有限字符串 无论其长度如何 的集合 i N S i textstyle bigcup i in mathbb N Sigma i 被Kleene星号表示为S displaystyle Sigma 也被称为S displaystyle Sigma 的Kleene闭包 符号S w displaystyle Sigma omega 表示字母表S displaystyle Sigma 上所有无限序列的集合 而S displaystyle Sigma infty 表示所有有限或无限序列的集合S S w displaystyle Sigma ast cup Sigma omega 例如 使用二进制字母表 0 1 字符串e 0 1 00 01 10 11 000等都在字母表的Kleene闭包中 其中e代表空字符串 应用 编辑字母表在形式语言 自动机和半自动机的使用中很重要 在大多数情况下 为了定义自动机实例 如确定有限状态自动机 DFA 需要指定一个字母表 从这个字母表建立自动机的输入字符串 在这些应用中 通常要求字母表是一个有限集 但没有其他限制 当使用自动机 正则表达式或形式语法 作为字符串处理算法的一部分时 可以假定字母表是这些算法要处理的文本的字符集 或者是字符集中可允许的字符的子集 参见 编辑形式语言 语法 语义来源 编辑 Ebbinghaus H D Flum J Thomas W Mathematical Logic 2nd New York Springer 1994 11 ISBN 0 387 94258 0 By an alphabet A displaystyle mathcal A we mean a nonempty set of symbols Rautenberg Wolfgang A Concise Introduction to Mathematical Logic PDF Third Springer 2010 xx 2022 08 26 ISBN 978 1 4419 1220 6 原始内容存档 PDF 于2022 03 02 If 𝗔 is an alphabet i e if the elements 𝐬 𝗔 are symbols or at least named symbols then the sequence 𝐬1 𝐬n 𝗔n is written as 𝐬1 𝐬n and called a string or a word over 𝗔 外部链接 编辑John E Hopcroft Jeffrey D Ullman Introduction to Automata Theory Languages and Computation Addison Wesley Publishing 1979 ISBN 0 201 02988 X 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 这是一篇電腦科學小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 字母表 计算机科学 amp oldid 74930275, 维基百科,wiki,书籍,书籍,图书馆,