Families of DFAs as Acceptors of omega-Regular Languages

Dana Angluin; Udi Boker; Dana Fisman

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Families of DFAs as Acceptors of omega-Regular Languages

【24h】

Families of DFAs as Acceptors of omega-Regular Languages

机译：DFA家族是欧米茄常规语言的接受者

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Families of DFAs (FDFAs) provide an alternative formalism for recognizing omega-regular languages. The motivation for introducing them was a desired correlation between the automaton states and right congruence relations, in a manner similar to the Myhill

机译：DFA（FDFA）家族为识别欧米茄常规语言提供了一种替代形式。引入它们的动机是自动机状态与右同余关系之间的理想关联，其方式类似于Myhill

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2016年第2期|共页
作者
Dana Angluin; Udi Boker; Dana Fisman;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Families of DFAs as Acceptors of omega-Regular Languages [J] . Dana Angluin, Udi Boker, Dana Fisman LIPIcs : Leibniz International Proceedings in Informatics . 2016,第1期

机译：DFA家族是欧米茄常规语言的接受者
2. Beyond omega-regular languages: omega T-regular expressions and their automata and logic counterparts [J] . Theoretical computer science . 2020,第期

机译：超越欧米茄 - 常规语言：Omega T-正规表达式及其自动机和逻辑对应物
3. The Bridge Between Regular Cost Functions and Omega-Regular Languages [J] . Thomas Colcombet, Nathana{e}l Fijalkow LIPIcs : Leibniz International Proceedings in Informatics . 2016,第1期

机译：常规成本函数与欧米茄常规语言之间的桥梁
4. Approximate Automata for Omega-Regular Languages [C] . Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah International symposium on automated technology for verification and analysis . 2019

机译：欧米茄常规语言的近似自动机
5. Transferability and Accepting American Sign Language as Foreign Language Credit. [D] . Schiemer, Cheryl Murphy. 2016

机译：可转让性并接受美国手语作为外语信用。
6. A large family with hereditary spastic paraparesis due to a frameshift mutation of the spastin (SPG4) gene: association with multiplesclerosis in two affected siblings and epilepsy in other affectedfamily members [O] . S Mead, C Proukakis, N Wood, 2001

机译：一个大家族由于框架而患有遗传性痉挛性轻瘫spastin（SPG4）基因的移位突变：与多种相关两个受影响的兄弟姐妹患有硬化症其他受影响的患者患有癫痫病家庭成员
7. Approximate Automata for Omega-Regular Languages [O] . Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah 2019

机译：ω-常规语言的近似自动机
8. Cellular Graph Acceptors, 5:Closure Properties of Cellular d-Graph Languages. [R] . wu, angela 1978

机译：细胞图接受者，5：细胞d-图语言的闭包属性。

Families of DFAs as Acceptors of omega-Regular Languages

摘要

著录项

相似文献

相关主题

期刊订阅