Computer science Automata and formal languages Concept
Alphabet
Summary
In formal language theory, an alphabet is a finite nonempty set whose elements are called symbols or letters. Strings are finite sequences of symbols from an alphabet, and formal languages are sets of strings. The usual alphabets are for binary data and for examples. The symbols have no meaning of their own; only their identity matters.
Where this leads
37 pages build on this one.
- Block code
- Edit distance
- Fitness landscape
- Büchi automaton
- Star-free language
- Hamming space
- Moore machine
- Minimum distance of a code
- Mealy machine
- Supervisory control theory of discrete event systems
- Epsilon-NFA
- Lempel–Ziv coding
- L-system
- Uniquely decodable code
- Communication channel
- Model of computation
- Hamming distance
- Omega-regular language
- Formal grammar
- Pushdown automaton
- Rate–distortion theory
- Regular expression
- Error detection and correction capability
- Variable-length code
- Weighted automaton
- Regular language
- String-searching algorithm
- Hamming weight
- Finite-state transducer
- Finite-state machine
- Deterministic finite automaton
- Turing completeness
- Knuth–Morris–Pratt algorithm
- Two-way finite automaton
- NK model
- Prefix code
- Nondeterministic finite automaton
Further reading
About this page
| Tag | RABRP2KG81 |
|---|---|
| URI | m2://RABRP2KG81 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 68Q45, 68R15 |
| Same as | |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Block code
- Edit distance
- Büchi automaton
- Star-free language
- Hamming space
- Moore machine
- Mealy machine
- Supervisory control theory of discrete event systems
- Epsilon-NFA
- Lempel–Ziv coding
- L-system
- Uniquely decodable code
- Communication channel
- Model of computation
- Hamming distance
- Omega-regular language
- Formal grammar
- Pushdown automaton
- Rate–distortion theory
- Regular expression
- Variable-length code
- Weighted automaton
- Regular language
- String-searching algorithm
- Hamming weight
- Finite-state transducer
- Finite-state machine
- Deterministic finite automaton
- Knuth–Morris–Pratt algorithm
- Two-way finite automaton
- Prefix code
- Nondeterministic finite automaton