Equités sur les automates à pic

Abstract

We study the behaviors of one turn pushdown automata using the notions of fairness defined by L. Priese et al. in [10], as conditions of acceptance. We show in particular that these notions are simulable by the modes of acceptance of J. R. Buchi and D. Muller.

On s'intéresse dans ce papier au comportements des automates à pic en utilisant les notions d'équités définies par L. Priese et al. dans [10] . On montre en particulier que ces notions d'équités sont simulables par les conditions d'acceptance de J. R. Buchi et D. Muller sur les systèmes à pic. Pour l'équité définie sur les grammaires algébriques par N. Francez et al. dans [3], on montre que cette notion d'équité ne peut être équivalente à ces conditions d'acceptations.