پاورپوينت اتوماتای بوچی (Buchi Automaton)