Formal semantics

• Totally ordered sequences of tokens

  X = [x1, x2, x3, …]
  

• Partial order (prefix order) between sequences

  [x1, x2] < [x1, x2, x3]
  

• Chain: increasing sequence of sequences

• LUB of chain: shortest sequence greater than any element

• Set S of finite and infinite sequences is Complete Partial Order

  (every chain has a LUB)
  

Previous slide

Next slide

Back to first slide

View graphic version