Programming Language Theory ConceptIndexed operatorProperties 4Hide BooksChapter 1. Abstract syntax JourneyProgramming Language Theory Statusreviewing Tagssyntax grammarA family of operators o indexed by symbols u, so that o[u] is an operator when u is an available symbol. Previous in ConceptsIncremental computationNext in Concepts Induction on derivations