Don't Care Words with an Application to the Automata-Based Approach for Real Addition

机译：不在乎单词在基于自动机的真实加法中的应用

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Automata are a useful tool in infinite-state model checking, since they can represent infinite sets of integers and reals. However, analogous to the use of BDDS to represent finite sets, the sizes of the automata are an obstacle in the automata-based set representation. In this paper, we generalize the notion of "don't cares" for BDDs to word languages as a means to reduce the automata sizes. We show that the minimal weak deterministic Buechi automaton (WDBA) with respect to a given don't care set, under certain restrictions, is uniquely determined and can be efficiently constructed. We apply don't cares to improve the efficiency of a decision procedure for the first-order logic over the mixed linear arithmetic over the integers and the reals based on WDBAs.

机译：自动机是无限状态模型检查中的有用工具，因为它们可以表示无限的整数和实数集。但是，类似于使用BDDS表示有限集，自动机的大小是基于自动机的集表示中的障碍。在本文中，我们将BDD的“无关”概念推广到词语言，以减小自动机大小。我们表明，在一定的限制下，针对给定的无关集的最小弱确定性Buechi自动机（WDBA）是唯一确定的，可以有效构造。对于基于WDBA的整数和实数的混合线性算术，我们采用无关紧要的方法来提高一阶逻辑决策过程的效率。

著录项

来源
《International Conference on Computer Aided Verification(CAV 2006); 20060817-20; Seattle,WA(US)》|2006年|P.67-80|共14页
会议地点 SeattleWA(US)
作者
Jochen Eisinger; Felix Klaedtke;
展开▼
作者单位

Albert-Ludwigs-Universitaet Freiburg, Faculty of Applied Sciences, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类机器辅助技术;
关键词

相似文献

外文文献
中文文献
专利

1. Don't Care Words With An Application to The Automata-based Approach For Real Addition [J] . Jochen Eisinger, Felix Klaedtke Formal Methods in System Design . 2008,第1a2a3期

机译：不用在意基于自动机的真实加法方法的应用
2. New applications of learning automata-based techniques in real-world environments [J] . Rezvanian Alireza, Vahidipour S. Mehdi, Esnaashari Mehdi Journal of computational science . 2018,第JANa期

机译：基于学习自动机的技术在现实环境中的新应用
3. A lexicon driven approach to handwritten word recognition for real-time applications [J] . Gyeonghwan Kim, Govindaraju V. IEEE Transactions on Pattern Analysis and Machine Intelligence . 1997,第4期

机译：词典驱动的实时应用手写单词识别方法
4. Don't Care Words with an Application to the Automata-Based Approach for Real Addition [C] . Jochen Eisinger, Felix Klaedtke International Conference on Computer Aided Verification . 2006

机译：不要在基于自动数据的方法中关心单词，以实际添加
5. Don't Assume They Don't Care: African American Parental Involvement and Implications for Student Engagement and Achievement [D] . Adodo, Isoken Prisca 2019

机译：不要假设他们不在乎：非洲裔美国父母的参与及其对学生敬业度和成就的影响
6. If you don’t behave you’re in real shit you don’t get outside the doors—a phenomenological hermeneutic study of adolescents’ lived experiences of the socio-spatial environment of involuntary institutional care [O] . Kajsa Nolbeck, Helle Wijk, Göran Lindahl, 2020

机译：如果您表现不佳就会真正陷入困境您就不会出门在外 –一项现象学的诠释学研究青少年对非自愿机构照料的社会空间环境的生活经验
7. Don’t care words with an application to the automatabased approach for real addition [O] . Jochen Eisinger, Felix Klaedtke 2006

机译：不要关注具有自动化方法的应用程序的单词以进行实际添加
8. President's Cancer Panel Meeting. Improving Cancer Care for All. Real People, Real Problems: Why Don't All Americans Get the Best Avaiable Cancer Care. Held in Albuquerque, New Mexico on March 8-9, 2001 [R] . 2003

机译：总统的癌症小组会议。改善所有人的癌症护理。真实的人，真正的问题：为什么所有美国人都不能获得最好的可用癌症护理。 2001年3月8日至9日在新墨西哥州的阿尔伯克基举行

Don't Care Words with an Application to the Automata-Based Approach for Real Addition

摘要

著录项

相似文献

相关主题

期刊订阅