Sistemas de Reescruta

Teorema de Church-Rosser

Resultado fundamental que estabelece a equivalência entre confluência e a existência de uma forma normal única. Base teórica que garante a consistência dos sistemas de cálculo por reescrita.

← Voltar