3 search results - page 1 / 1 » Timed substitutions for regular signal-event languages |
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
FMSD
2007
13 years 4 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
IANDC
2007
13 years 4 months ago
2007
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...