Abstract FR:

L'extension des grammaires linéaires et automates à pic aux ensembles de mots infinis est étudiée. Caractérisations de langages de mots infinis reconnus par des automates à pic. Etude des propriètés de fermeture de ces langages par les opérations booléennes et topologiques. Extension des concepts d'équités décrites sur: les systèmes de transitions finis, processus SCCS régulier et grammaires algébriques respectivement aux automates à pic, systèmes de N processus finis et à pic, et grammaires linéaires et bilinéaires