TY - GEN
T1 - Tightening the exchange rates between automata
AU - Kupferman, Orna
PY - 2007
Y1 - 2007
N2 - Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for formal specification and verification of reactive systems. The practical importance of automata in formal methods has motivated a re-examination of the blow up that translations among different types of automata involve. For most translations, the situation is satisfying, in the sense that even if there is a gap between the upper and the lower bound, it is small. For some highly practical cases, however, the gap between the upper and the lower bound is exponential or even larger. The article surveys several such frustrating cases, studies features that they share, and describes recent efforts (with partial success) to close the gaps.
AB - Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for formal specification and verification of reactive systems. The practical importance of automata in formal methods has motivated a re-examination of the blow up that translations among different types of automata involve. For most translations, the situation is satisfying, in the sense that even if there is a gap between the upper and the lower bound, it is small. For some highly practical cases, however, the gap between the upper and the lower bound is exponential or even larger. The article surveys several such frustrating cases, studies features that they share, and describes recent efforts (with partial success) to close the gaps.
UR - http://www.scopus.com/inward/record.url?scp=38049020220&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-74915-8_5
DO - 10.1007/978-3-540-74915-8_5
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:38049020220
SN - 9783540749141
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 7
EP - 22
BT - Computer Science Logic - 21st International Workshop, CSL 2007 and 16th Annual Conference of the EACSL, Proceedings
PB - Springer Verlag
T2 - 21st International Workshop on Computer Science Logic, CSL 2007 and 16th Annual Conference of the European Association for Computer Science Logic, EACSL
Y2 - 11 September 2007 through 15 September 2007
ER -