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.
Citation
Douadi Mihoubi. "Equités sur les automates à pic." Bull. Belg. Math. Soc. Simon Stevin 18 (3) 557 - 569, august 2011. https://doi.org/10.36045/bbms/1313604458
Information