Se consideran formales aquellos lenguajes que son ejecutados sin ambigüedad por una máquina.