The Growing Book
A Formal Model for MAWC Operations
A MAWC
operation has one (or two) expressions as arguments, and also returns an
expression. In other words, both the
input and the output are MAWC tagged documents.
ABSTRACT operator
The ABSTRACT operation, ai(f{O1,
O2, …, On}) extracts all objects of level j.
ai(f{O1,
O2, …, On}) = f{O’1, O’2,
…, O’n} where L’i of O’i in {O1, O2, …,
On}is equal to j.