formal system

views updated

formal system An interpretation of a formal language.