Borradura de regla

En una gramática formal, una regla de borradura es una regla que traza un mapa de una serie de símbolos a la cuerda vacía (ε).

Formalmente, una regla de borradura es un ε-production, como

:



Buscar