String Symbol Edit Operation

A String Symbol Edit Operation is a String Edit Operation that can be performed on a single String Symbol.

• Context:
  • It can be:
    • an String Symbol Insertion Operation.
    • a String Symbol Deletion Operation.
    • a String Symbol Substitution Operation.
    • a String Symbol Transposition Operation.
  • It can support a String Edit Distance Function.
• See: Graph Edit Operation.

---