Logika automatów