Text this: Representación gráfica del teorema de church y rosser