Un sistema-L es "libre de contexto" si cada producción se refiere sólo a un símbolo individual y no a sus vecinos.