A characterization of regular expressions under bisimulation

A characterization of regular expressions under bisimulation
复制标题

互模拟下正则表达式的表征

DOI：
--
复制
发表时间：
2007
期刊：
JACM
影响因子：
--
通讯作者：
C. Grabmayer
C. Grabmayer
中科院分区：
--
文献类型：
--
作者：
J. Baeten;F. Corradini;C. Grabmayer

文献摘要

被引文献

相似文献

我们解决了米尔纳[1984]的一个公开问题。我们定义了一组所谓的行为良好的有限自动机，模互模拟等价，正好对应于一组正则表达式，我们展示了如何确定是否一个给定的有限自动机是在这个集合。作为应用，我们考虑了星星的高度问题。
We solve an open question of Milner [1984]. We define a set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of regular expressions, and we show how to determine whether a given finite automaton is in this set. As an application, we consider the star height problem.