The _________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus ??

A. semantic domain
B. syntactic domain
C. sequence
D. set

View Answer

B. syntactic domain