CPSC 425 Test 1 Topics

• BNF Grammars
  • write grammar that defines a given language
  • describe language defined by a given grammar
  • derivations and parse trees
  • ambiguous grammars
  • limitations of context-free grammars

• Top-Down Parsing
  • relationship between top-down parsing and leftmost derivations
  • making a grammar LL(1)
  • first, follow, and predict sets
  • LL(1) tables
  • recursive-descent parsing

• ML
  • relationships of imperative and functional languages to von Neumann architecture
  • basic functions and expressions
  • tuples
  • lists
  • type signatures
  • higher-order functions
  • pattern matching

• Types
  • primitive and constructed types
  • arrays, including implementation issues
  • cartesian produce, including implementation issues
  • subtypes
  • type checking