Template:Formal languages
Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Template:Formal languages
Part of
a series
on
Formal languages
Key concepts
Formal system
Alphabet
Syntax
Semantics (logic)
Semantics (programming languages)
Formal grammar
Formation rule
Well-formed formula
Automata theory
Regular expression
Production
Ground expression
Atomic formula
Applications
Formal methods
Propositional calculus
Predicate logic
Mathematical notation
Natural language processing
Programming language theory
Computational linguistics
Syntax analysis
Formal verification
Automated theorem proving
v
t
e
Template documentation
This template's
documentation
is
missing, inadequate, or does not accurately describe its functionality or the
parameters
in its code.
Please help
to expand and improve it
.
Editors can experiment in this template's sandbox
(
create
|
mirror
)
and testcases
(
create
)
pages.
Subpages of this template
.
Previous Page
Next Page