Finite Eilenberg Machines
IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS(2008)
摘要
Eilenberg machines define a general computational model. They are well suited to the simulation of problems specified using
finite state formalisms such as formal languages and automata theory. This paper introduces a subclass of them called finite
Eilenberg machines. We give a formal description of complete and efficient algorithms which permit the simulation of such
machines. We show that our finiteness condition ensures a correct behavior of the simulation. Interpretations of this condition
are studied for the cases of non-deterministic finite automata (NFA) and transducers, leading to applications to computational
linguistics. The given implementation provides a generic simulation procedure for any problem encoded as a composition of
finite Eilenberg machines.
更多查看译文
关键词
automata theory,finiteness condition,formal description,eilenberg machine,finite eilenberg machine,finite state,formal language,non-deterministic finite automaton,finite eilenberg machines,general computational model,generic simulation procedure,computer model,non deterministic finite automata
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要