String Element
Jump to navigation
Jump to search
A String Element is an element symbol within a string.
- AKA: String Member.
- Context:
- It can be from an Alphabet.
- It can have a String Symbol Position (e.g. 5th symbol).
- …
- Counter-Example(s):
- a String Label.
- a Graph Node.
- See: String Symbol Edit Operation.