Programming Language Theory ConceptDirected acyclic graph (DAG)Properties 4Hide BooksChapter 1. Abstract syntax JourneyProgramming Language Theory Statusmastered Tagsdata structure algorithmEdges have a direction (from one node to another).There are no cycles (you can't follow edges and return to where you started). Previous in ConceptsDimensional analysisNext in Concepts Divergent/Big omega combinator