You are here: Accueil -  Air Max A Vendre En Belgique axiomatisable fini à condition que l ensemble

Air Max A Vendre En Belgique axiomatisable fini à condition que l ensemble

Air Max A Vendre En Belgique

Nous étudions axiomatisations équationnels de bisimulation équivalence pour la langue obtenu en étendant CCS base de Milner avec de la ficelle itération. Chaîne itération est une variation sur la version binaire original de la Kleene étoiles opération p * q obtenu en limitant le premier argument d'être une séquence non vide d'actions atomiques. Nous montrons que, pour tout entier positif k, bisimulation équivalence sur l'ensemble des processus dans cette langue avec des boucles de longueur au plus k est axiomatisable fini, à condition que l'ensemble Nike Air Max 1 des actions est fini. Nous offrons également une théorie équationnelle infinie qui axiomatise complètement bisimulation équivalence sur l'ensemble de la langue. Nous montrons que ce résultat ne peut être amélioré en montrant qu'aucun axiomatisation equational fini de bisimulation équivalence sur CCS de base avec de la ficelle itération peut exister, à moins que l'ensemble des actions est Air Max A Vendre En Belgique vide.
0 Commentaires


Speak Your Mind