期刊
ACTA INFORMATICA
卷 49, 期 4, 页码 225-248出版社
SPRINGER
DOI: 10.1007/s00236-012-0157-z
关键词
-
资金
- Italian MURST
- CRUI/DAAD
The characterization of the class of FO[+]-definable languages by some generating or recognizing device is still an open problem. We prove that, restricted to word bounded languages, this class coincides with the class of semilinear languages. We also study the closure properties of the classes of languages definable in FO[+1], FO[<], FO[+] and FOC[+] under the main classical operations.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据