Automata Translations
This site aims to organize the current knowledge on word-automata translation.
It explains the translation (transformation) between one class of automata to another, handling deterministic and non-deterministic weak, Büchi, co-Büchi, parity, Streett, Rabin and Muller word automata.
The site requires frames, while your browser does not handle frames.
Deterministic and non-deterministic weak, Büchi, co-Büchi, parity, Streett, Rabin and Muller word automata.