formal language

(redirected from Formal language theory)
Also found in: Encyclopedia.

formal language

n
1. (Logic) a language designed for use in situations in which natural language is unsuitable, as for example in mathematics, logic, or computer programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another
2. (Logic) logic a logistic system for which an interpretation is provided: distinguished from formal calculus in that the semantics enable it to be regarded as about some subject matter
Translations
formální jazyk
Formale Sprache
formalni jezik
References in periodicals archive ?
During the outgoing phase of the project, at the Mathematics Department at the City College of the City University of New York, the applicant will perform an in-depth study of profinite semigroups and their applications in formal language theory, through the lens of Stone duality and finite model theory.
The text requires a knowledge of formal language theory.
As in formal language theory there is a key difference between deterministic and nondeterministic finite state machines in probabilistic case.

Full browser ?