Computer science Automata and formal languages Concept
String
Summary
A string, or word, over an alphabet is a finite sequence of symbols of , such as over . The set of all strings, with concatenation, is the free monoid on , with the empty string as identity. Strings are the inputs and outputs of machines such as Turing machines and finite automata. Sets of strings are formal languages.
Where this leads
39 pages build on this one.
- Sardinas–Patterson algorithm
- Block code
- Edit distance
- Fitness landscape
- Context-free grammar
- Hamming space
- Moore machine
- Minimum distance of a code
- Dyck language
- Pumping lemma for regular languages
- Mealy machine
- Epsilon-NFA
- Lempel–Ziv coding
- L-system
- Uniquely decodable code
- Model of computation
- Hamming distance
- Formal grammar
- Pushdown automaton
- Pumping lemma for context-free languages
- Error detection and correction capability
- Variable-length code
- Weighted automaton
- Time complexity
- Ogden's lemma
- String-searching algorithm
- Hamming weight
- Finite-state transducer
- Chomsky–Schützenberger representation theorem
- Brzozowski derivative
- Sequence alignment
- Deterministic finite automaton
- Nussinov algorithm
- Turing completeness
- Knuth–Morris–Pratt algorithm
- Two-way finite automaton
- NK model
- Prefix code
- Nondeterministic finite automaton
Further reading
About this page
| Tag | 1P6EP01HZF |
|---|---|
| URI | m2://1P6EP01HZF |
| 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
- Sardinas–Patterson algorithm
- Block code
- Edit distance
- Context-free grammar
- Moore machine
- Pumping lemma for regular languages
- Mealy machine
- Epsilon-NFA
- Lempel–Ziv coding
- L-system
- Uniquely decodable code
- Model of computation
- Hamming distance
- Formal grammar
- Pushdown automaton
- Variable-length code
- Weighted automaton
- Time complexity
- String-searching algorithm
- Finite-state transducer
- Brzozowski derivative
- Sequence alignment
- Deterministic finite automaton
- Nussinov algorithm
- Knuth–Morris–Pratt algorithm
- Two-way finite automaton
- Prefix code
- Nondeterministic finite automaton