Feature #81

SCM++ (new automata definition language)

Added by Alexander Heußner almost 3 years ago.

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)

Also available in: Atom PDF