Corpus ID: 16324627

The cost of being co-Buchi is nonlinear

@article{Marcinkowski2009TheCO,
  title={The cost of being co-Buchi is nonlinear},
  author={Jerzy Marcinkowski and Jakub Michaliszyn},
  journal={ArXiv},
  year={2009},
  volume={abs/0906.0072}
}
  • Jerzy Marcinkowski, Jakub Michaliszyn
  • Published 2009
  • Mathematics, Computer Science
  • ArXiv
  • It is well known, and easy to see, that not each nondeterministic Buchi automaton on infinite words can be simulated by a nondeterministic co-Buchi automaton. We show that in the cases when such a simulation is possible, the number of states needed for it can grow nonlinearly. More precisely, we show a sequence of - as we believe, simple and elegant - languages which witness the existence of a nondeterministic Buchi automaton with n states, which can be simulated by a nondeterministic co-Buchi… CONTINUE READING

    Figures and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-8 OF 8 REFERENCES

    Typeness for omega-Regular Automata

    VIEW 1 EXCERPT

    Weak alternating automata are not that weak

    On the complexity of ?-automata

    VIEW 1 EXCERPT

    Testing and Generating Infinite Sequences by a Finite Automaton

    VIEW 1 EXCERPT