Computation of partial automata through span composition
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory(2005)
摘要
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs $\mathcal{G}r_{p}$ is given and partial automata are constructed from $\mathcal{G}r_{p}$. With a simple categorical operation, computations of partial automata are given and can be seen as a part of the structure of partial automata.
更多查看译文
关键词
internal structure,simple categorical operation,span composition,categorical approach,partial graph,partial automaton,category theory,computation
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要