A compiler written in Java for the theoretical language L used to discuss computability in Martin Davis' "Computability, complexity and Languages"