Regular Sets and Expressions

Regular Sets and Expressions
复制标题

正则集和表达式

DOI:
--
复制
发表时间:
2010
期刊:
Arch. Formal Proofs
影响因子:
--
通讯作者:
T. Nipkow
T. Nipkow
中科院分区:
--
文献类型:
--
作者:
Alexander Krauss;T. Nipkow

文献摘要

被引文献

相似文献

有限自动机在科学、数学和工程中很重要。工程师们喜欢它们,因为它们是电路的极好模型(而且,自从超大规模集成电路系统出现以来,有时有限自动机就是电路!)计算机科学家喜欢它们,因为它们非常适合算法设计,例如编译和翻译的词法分析部分。数学家们也对它们很感兴趣,因为他们接受的集合有几个漂亮的数学特征。这部分就是本节的内容。
Finite automata are important in science, mathematics, and engineering. Engineers like them because they are superb models for circuits (And, since the advent of VLSI systems sometimes finite automata are circuits!) Computer scientists adore them because they adapt very nicely to algorithm design, for example the lexical analysis portion of compiling and translation. Mathematicians are intrigued by them too due to the fact that there are several nifty mathematical characterizations of the sets they accept. This is partially what this section is about.