摘要：用一个不一定是正规的语言构建的抽象计数系统来表示实数间隔。作为应用，我们考虑使用Dyck语言来表示实数。我们还展示了我们的框架可以应用于有理底计算系统。
作者：Charlier Emilie, Le Gonidec Marion, Rigo Michel
论文ID：0907.0942
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-07
PDF 下载： 英文版 中文版pdf翻译中