well-formed formula (Q655328)
finite sequence of symbols from a given alphabet that is part of a formal language
Language:
other details
aliases WFF
description finite sequence of symbols from a given alphabet that is part of a formal language

External Links