首页> 美国政府科技报告 >Correctness of Some Algorithms to Generate Finite Automata for RegularExpressions

【24h】

Correctness of Some Algorithms to Generate Finite Automata for RegularExpressions

机译：正则表达式生成有限自动机的一些算法的正确性

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We discuss the method given by Glushkov, McNaughton-Yamada and Berry-Sethi and arelated method given by Aho, Sethi and Ullmann to generate a deterministic finite automaton accepting the language of a given regular expression. For both methods a formal description and a simple correctness proof is given.

著录项

作者
ten Eikelder, H. M. M.; van Geldrop, H. P. J.;
展开▼
作者单位

展开▼
年度 1993
页码 1-30
总页数 30
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Automata theory; Algorithms; Languages; Conformal mapping;

机译：自动机理论;算法;语言;保形映射;

相似文献

外文文献
中文文献
专利

1. GENERAL ALGORITHMS FOR TESTING THE AMBIGUITY OF FINITE AUTOMATA AND THE DOUBLE-TAPE AMBIGUITY OF FINITE-STATE TRANSDUCERS [J] . CYRIL ALLAUZEN, MEHRYAR MOHRI, ASHISH RASTOGI International Journal of Foundations of Computer Science . 2011,第4期

机译：用于测试有限自动机的歧义和有限状态传感器的双磁带歧义的一般算法
2. GENERAL ALGORITHMS FOR TESTING THE AMBIGUITY OF FINITE AUTOMATA AND THE DOUBLE-TAPE AMBIGUITY OF FINITE-STATE TRANSDUCERS [J] . CYRIL ALLAUZEN MEHRYAR MOHRI ASHISH RASTOGI International Journal of Foundations of Computer Science . 2011,第4期

机译：用于测试有限自动机的歧义和有限状态传感器的双磁带歧义的一般算法
3. Modeling of Disintegration and Dissolution Behavior of Mefenamic Acid Formulation Using Numeric Solution of Noyes-Whitney Equation with Cellular Automata on Microtomographic and Algorithmically Generated Surfaces [J] . Reiji Yokoyama, Go Kimura, Christian M. Schlepütz, Pharmaceutics . 2018,第4期

机译：用显微镜和算法生成的表面上带有细胞自动机的Noyes-Whitney方程数值解法对甲胺酸配方的崩解和溶解行为进行建模
4. Generating Minimal Nondeterministic Finite Automata Using a Parallel Algorithm [C] . Tomasz Jastrzab, Zbigniew J. Czech, Wojciech Wieczorek International Symposium on Parallel and Distributed Computing . 2020

机译：使用并行算法生成最小的不确定自动机
5. Asymptotic, algorithmic and geometric aspects of groups generated by automata. [D] . Savchuk, Dmytro. 2009

机译：自动机生成的组的渐近，算法和几何方面。
6. Modeling of Disintegration and Dissolution Behavior of Mefenamic Acid Formulation Using Numeric Solution of Noyes-Whitney Equation with Cellular Automata on Microtomographic and Algorithmically Generated Surfaces [O] . Reiji Yokoyama, Go Kimura, Christian M. Schlepütz, 2018

机译：用显微镜和算法生成的表面上带有细胞自动机的Noyes-Whitney方程数值解法对甲胺酸制剂的崩解和溶解行为进行建模
7. Asymptotic, Algorithmic and Geometric Aspects of Groups Generated by Automata [O] . Savchuk Dmytro M. 2010

机译：由自动机生成的组的渐近，算法和几何方面
8. Introduction to the FIRE Engine: A C++ Toolkit for FInite Automata and RegularExpressions [R] . Watson, B. W. 1994

机译：FIRE引擎简介：用于FInite automata和RegularExpressions的C ++工具包

Correctness of Some Algorithms to Generate Finite Automata for RegularExpressions

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅