Expressivité Relative

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une relation comparant deux langages ou formalismes formels selon laquelle l’un est dit au moins aussi expressif que l’autre lorsqu’il peut définir ou simuler toutes les propriétés définissables dans le second.