Metadata
Author: Literature
Data
English[en]
We shall complete G by adding to it the new axiom T (which then replaces S) and the rules: T --+ S T, T --+ s.
Spanish[es]
Completemos G dando un nuevo axioma T (que sustituye a S en esta funci6n) y dando las reglas: T -+S T, T -+S.