Automata with limited nondeterminism and applications of automata

有限非确定性自动机及其应用

• 批准号: 217321-2013
• 负责人: Salomaa, Kai
• 金额: $ 2.19万
• 依托单位: Queen's University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=523758
• 关键词: Automata; limited; nondeterminism; applications; automata

Finite-state machines, or finite automata, are an abstract model of computation and a basis for the study of fundamental questions in computing. There are many applications of finite automata, for example, compilers, text searching, natural language processing, web services and program verification.

有限状态机，或称有限自动机，是计算的抽象模型，也是研究计算基本问题的基础。有限自动机有许多应用，例如编译器、文本搜索、自然语言处理、Web服务和程序验证。