可访问的确定性实时下推自动机的随机生成与枚举
形式语言与自动机理论
2016-03-26 v1
摘要
本文提出了一个用于确定性实时可访问下推自动机均匀随机生成的通用框架。提出了一种多项式时间算法，用于随机生成具有固定栈操作总大小的下推自动机。研究了接受条件（空栈、终态）对生成自动机可达性的影响。
引用
@article{arxiv.1512.05881,
title = {Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata},
author = {Pierre-Cyrille Héam and Jean-Luc Joly},
journal= {arXiv preprint arXiv:1512.05881},
year = {2016}
}
备注
Frank Drewes. CIAA 2015, Aug 2015, Umea, Sweden. Springer, 9223, pp.12, 2015, Implementation and Application of Automata - 20th International Conference