Segue abaixo um exemplo de implementação em Python de um programa recursivo que calcula o MDC de dois números inteiros x e y, utilizando as definições dadas: ``` def mdc(x, y): if x > y: return mdc(x-y, y) elif x < y: return mdc(y, x) else: return x x, y = map(int, input().split()) print(mdc(x, y)) ``` Neste exemplo, a função `mdc` é definida de forma recursiva, seguindo as definições dadas na pergunta. A função recebe dois parâmetros `x` e `y`, que representam os números inteiros a serem calculados o MDC. Na primeira condição, se `x` for maior que `y`, a função chama a si mesma com os parâmetros `x-y` e `y`. Na segunda condição, se `x` for menor que `y`, a função chama a si mesma com os parâmetros `y` e `x`. Na terceira condição, se `x` for igual a `y`, a função retorna `x`. Por fim, o programa lê dois números inteiros `x` e `y` separados por um espaço, chama a função `mdc` com esses parâmetros e imprime o resultado.