¿Cómo crear un

intérprete de
expresiones en
.NET?
Alberto Población
¿Cómo crear un intérprete de expresiones en .NET?
Nivel: Intermedio-Avanzado
por Alberto Población

En un artículo anterior dábamos respuesta a las preguntas de este tipo:

Deseo introducir en un TextBox una exresión tal como “5*x-3*(x+1)” y que mi

programa calcule el resultado al pasarle el valor de x.

Y comentábamos que una forma de resolverlo, entre las distintas opciones

disponibles, consistía en escribir un intérprete o compilador basado en un
analizador sintáctico hecho por nosotros mismos. En este artículo vamos a dar unas
indicaciones generales acerca de cómo se escribe un programa de este tipo para
interpretar expresiones sencillas.

El primer paso consiste en elaborar un diagrama sintáctico que sirva para

representar las expresiones que queremos evaluar. La Figura 1 representa un
diagrama muy sencillo, que define la sintaxis de las fórmulas matemáticas que
aceptan números paréntesis, las cuatro operaciones matemáticas, y la variable “x”.

Figura 1.- Diagrama sintáctico sencillo.

En este diagrama, se han encerrado en un círculo los elementos “finales”, que se
leen “tal cual” en la expresión tecleada. Normalmente se escribe un fragmento de
programa que en inglés recibe el nombre de parser (“analizador”), que va
devolviendo cada uno de los símbolos que componen la expresión. En el listado 1
que se acompaña más abajo, esto está implementado en la subrutina
ObtenerSiguienteSímbolo.

Las cajas rectangulares sirven para enlazar entre sí las distintas partes del diagrama,
y normalmente se traduce cada una de ellas en un método de nuestro programa
(en el listado 1 llevan el mismo nombre que figura escrito dentro de cada caja).

Las flechas indican la estructura del lenguaje (qué elemento puede venir detrás de
qué otro), y a la hora de programar se convierten en una secuencia de instrucciones
llamando a otro método (cuando las flechas tropiezan con una caja) o llamando al
parser para que obtenga el siguiente símbolo (cuando tropiezan con un círculo).

Cuando una flecha se bifurca en dos, el programa fuente debe contener

instrucciones para leer el siguiente símbolo, y una instrucción condicional (if o
switch) para decidir por cuál de los dos caminos hay que seguir, examinando
símbolo obtenido. Por supuesto, no todos los diagramas sintácticos cumplen el
requisito de que en cada bifurcación se pueda decidir el camino a seguir
examinando únicamente el símbolo siguiente. En los casos en que esto sí que se
cumple (como el diagrama de la figura 1), podremos construir un compilador de
“un solo paso sin marcha atrás”, que es el tipo más simple y el único que vamos a
ver aquí.

Finalmente, nuestro código fuente contendrá las instrucciones necesarias para

hacer la operación indicada por el diagrama (suma, resta, multiplicación, etc.) cada
vez que pase por uno de los puntos en que se ha reunido la información necesaria.
Si la operación se realiza inmediatamente al pasar por ese punto, tenemos un
intérprete; si lo que se hace es generar código ejecutable que más tarde al ser
ejecutado realice la operación deseada, entonces lo que tenemos es un
compilador.

El programa del listado 1 contiene un intérprete de este tipo, realizado conforme

con el esquema de la figura 1. Por razones de claridad y simplicidad, no contiene
apenas nada de código para el control de errores, que lógicamente habría que
añadir en un programa destinado a ser puesto en producción.

Este diagrama es sumamente sencillo, y ha sido fácil dibujarlo en un pequeño

gráfico. Cuando la sintaxis se complica más, y el diagrama empieza a crecer, se
suele recurrir a otros tipos de notación más formales, tales como BNF (Bakus-Naur
Form). Aunque resulta menos claro a simple vista, se trata de un metalenguaje que
define la sintaxis exactamente igual que nuestro gráfico, y sirve para escribir
nuestro intérprete o compilador de la misma manera.
Listado 1:
public class Intérprete
{
private string expresion;
private int posicion;

private Simbolo últimoSimbolo;

private double últimaConstante;

private Stack<double> pila;

private double valorDeX;

public Intérprete(string expresion)

{
this.expresion = expresion;
}

public double Evaluar(double x)

{
this.valorDeX = x;
this.posicion = 0;
this.pila = new Stack<double>();
últimoSimbolo = ObtenerSiguienteSímbolo();
Expresion();
if (pila.Count<1)
throw new Exception("Error al leer de la pila");
return pila.Pop();
}

private Simbolo ObtenerSiguienteSímbolo()

{
char c;
do
{
if (posicion>=expresion.Length)
return Simbolo.FinDeLaExpresión;
c = expresion[posicion++];
}
while (c==' '); //Despreciamos los espacios en blanco
switch (c)
{
case 'x': case 'X': return Simbolo.Variable;
case '(': return Simbolo.AbrirParéntesis;
case ')': return Simbolo.CerrarParéntesis;
case '+': return Simbolo.Suma;
case '-': return Simbolo.Resta;
case '*': return
Simbolo.Multiplicación;
case '/': return Simbolo.División;
}
Regex re = new Regex(@"^\d+([,\.]\d+)?");
string exp = expresion.Substring(posicion-1);
if (re.IsMatch(exp))
{
Match m = re.Match(exp);
string s = m.Value;
posicion += m.Length-1;
últimaConstante =
double.Parse(s.Replace(".",","));
return Simbolo.Constante;
}
throw new Exception(
"Simbolo no reconocido en la posición " + posicion);
}
Continúa...
private void Expresion()
{
Termino();
while (true)
{
switch (últimoSimbolo)
{
case Simbolo.Suma:
últimoSimbolo =
ObtenerSiguienteSímbolo();
Termino();
OperacionSuma();
break;
case Simbolo.Resta:
últimoSimbolo =
ObtenerSiguienteSímbolo();
Termino();
OperacionResta();
break;
default: return;
}
}
}

private void Termino()

{
Factor();
while (true)
{
switch (últimoSimbolo)
{
case Simbolo.Multiplicación:
últimoSimbolo =
ObtenerSiguienteSímbolo();
Factor();
OperacionMultiplicacion();
break;
case Simbolo.División:
últimoSimbolo =
ObtenerSiguienteSímbolo();
Factor();
OperacionDivision();
break;
default: return;
}
}
}

private void Factor()

{
if (últimoSimbolo==Simbolo.AbrirParéntesis)
{
últimoSimbolo = ObtenerSiguienteSímbolo();
Expresion();
if (últimoSimbolo!=Simbolo.CerrarParéntesis)
throw new Exception("Falta ')'");
últimoSimbolo = ObtenerSiguienteSímbolo();
}
else if (últimoSimbolo==Simbolo.Constante)
{
OperacionConstante();
últimoSimbolo = ObtenerSiguienteSímbolo();
}
Continúa...
 else if (últimoSimbolo==Simbolo.Variable)
{
OperacionVariable();
últimoSimbolo = ObtenerSiguienteSímbolo();
}
else
throw new Exception("Factor");
}

private void OperacionConstante()

{
pila.Push(últimaConstante);
}
private void OperacionVariable()
{
pila.Push(valorDeX);
}
private void OperacionSuma()
{
pila.Push(pila.Pop()+pila.Pop());
}
private void OperacionResta()
{
double op2 = pila.Pop();
double op1 = pila.Pop();
pila.Push(op1-op2);
}
private void OperacionMultiplicacion()
{
pila.Push(pila.Pop()*pila.Pop());
}
private void OperacionDivision()
{
double op2 = pila.Pop();
double op1 = pila.Pop();
pila.Push(op1/op2);
}
}

enum Simbolo
{
Ninguno,
Suma, Resta, Multiplicación, División,
AbrirParéntesis, CerrarParéntesis,
Constante, Variable,
FinDeLaExpresión

Este listado contiene una clase Intérprete, que recibe la expresión a interpretar a
través de su constructor. Para evaluar la expresión se llama al método Evaluar,
que recibe el valor para la variable x que hemos previsto admitir en nuestras
expresiones. Mediante este mecanismo, se puede ir llamando repetidamente al
intérprete para que evalúe la expresión con distintos valores de x (por ejemplo,
para dibujar una gráfica).

Aplicando procedimientos similares a los que hemos visto aquí, se pueden procesar
expresiones tan complejas como deseemos, pudiendo llegar incluso a crear un
lenguaje de programación completo.
Acerca del autor
Alberto Población lleva 27 años desarrollando software. Ha sido reconocido por Microsoft
como MVP (Most Valuable Professional) de C#. Cuenta, entre otras, con las certificaciones
MCT, MCSE, MCDBA, MCITP, MCSD y MCPD en sus tres variantes (Desarrollador Web,
Desarrollador Windows y Desarrollador de Aplicaciones Empresariales). En la actualidad se
dedica principalmente a la formación, asesoramiento y desarrollo de aplicaciones. Es tutor
de campusMVP.

Acerca de campusMVP
CampusMVP te ofrece la mejor formación en tecnología Microsoft a través de nuestros
cursos online y nuestros libros especializados, impartidos y escritos por conocidos MVP de
Microsoft. Visita nuestra página y prueba nuestros cursos y libros gratuitamente. www-
campusmvp.com

Reconocimiento - NoComercial - CompartirIgual (by-nc-sa):

No se permite un uso comercial de este documento ni de las posibles obras
derivadas, la distribución de las cuales se debe hacer con una licencia igual a la que
regula esta obra original. Se debe citar la fuente.