## Abstract

The practical importance of automata on infinite objects has motivated a re-examination of the complexity of automata-theoretic constructions. One such construction is the translation, when possible, of nondeterministic Büchi word automata (NBW) to nondeterministic co-Büchi word automata (NCW). Among other applications, it is used in the translation (when possible) of LTL to the alternation-free μ-calculus. The best known upper bound for the translation of NBW to NCW is exponential (given an NBW with n states, the best translation yields an equivalent NCW with 2 ^{O(n logn)} states). On the other hand, the best known lower bound is trivial (no NBW with n states whose equivalent NCW requires even n∈+∈1 states is known). In fact, only recently was it shown that there is an NBW whose equivalent NCW requires a different structure. In this paper we improve the lower bound by showing that for every integer k ≥ 1 there is a language L _{k} over a two-letter alphabet, such that L _{k} can be recognized by an NBW with 2k∈+∈1 states, whereas the minimal NCW that recognizes L _{k} has 3k states. Even though this gap is not asymptotically very significant, it nonetheless demonstrates for the first time that NBWs are more succinct than NCWs. In addition, our proof points to a conceptual advantage of the Büchi condition: an NBW can abstract precise counting by counting to infinity with two states. To complete the picture, we consider also the reverse NCW to NBW translation, and show that the known upper bound, which duplicates the state space, is tight.

Original language | English |
---|---|

Title of host publication | Logic for Programming, Artificial Intelligence, and Reasoning - 15th International Conference, LPAR 2008, Proceedings |

Pages | 183-197 |

Number of pages | 15 |

DOIs | |

State | Published - 31 Dec 2008 |

Externally published | Yes |

Event | 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008 - Doha, Qatar Duration: 22 Nov 2008 → 27 Nov 2008 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 5330 LNAI |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008 |
---|---|

Country/Territory | Qatar |

City | Doha |

Period | 22/11/08 → 27/11/08 |

## ASJC Scopus subject areas

- Theoretical Computer Science
- General Computer Science