Automat Büchiego – Inne języki