Feature #81
SCM++ (new automata definition language)
Status: | New | Start date: | 03/19/2014 | |
---|---|---|---|---|
Priority: | Normal | Due date: | ||
Assignee: | - | % Done: | 0% |
|
Category: | - | |||
Target version: | 2.0 |
Description
Following some offline/email discussions, the following features would be a good start for a re-design/extension of the SCM input language:
- more explicit keywords, e.g., for lossy
- abbreviations for some regular languages like \Sigma^*
- ... (to be extended in discussion of this issue)