A estas reglas gramaticales se les llama efectivamente "gramática de máquina".