Forming Expressions and Function Machine