Jump to content

Non-terminal function and Terminal and nonterminal functions: Difference between pages

(Difference between pages)
Page 1
Page 2
Content deleted Content added
m Bot: Fixing double redirect to Parse tree#Nomenclature
Tag: Redirect target changed
 
Merged content to Parse tree#Nomenclature, redirecting; unopposed 2019 proposal (easy-merge)
Tag: New redirect
 
Line 1: Line 1:
#REDIRECT [[Parse tree#Nomenclature]]
#REDIRECT [[Parse tree#Nomenclature]]

{{R from merge}}
{{R to section}}