nLab language

Contents

Contents

Idea

A formal language is a collection of words over an alphabet, i.e. strings of symbols from the alphabet, according to certain rules.

mathematical statements

References

See also:

Last revised on October 31, 2023 at 07:18:34. See the history of this page for a list of all contributions to it.