sinus% ./cora -Itext -Aab -WQ exp-to-aut "<1/6>(a*)" > q1.js  
Compiling module context for lal_char_q
Compiling module derivation for lal_char_q
Compiling module output for lal_char_q
sinus% ./cora  display q1.js                                
sinus% ./cora  display q1.js
sinus% ./cora  edit  q1.js  
sinus% ./cora  display q1.js
sinus% ./cora  star q1.js > q1S.js
Compiling module standard for lal_char_q
sinus% ./cora  display q1S.js     
libc++abi.dylib: terminating with uncaught exception of type std::runtime_error: json parser Q
zsh: abort      ./cora display q1S.js
sinus% ./cora  star q1.js \| display -
sinus% ./cora  aut-to-exp q1S.js > q1sE.js
libc++abi.dylib: terminating with uncaught exception of type std::runtime_error: json parser Q
zsh: abort      ./cora aut-to-exp q1S.js > q1sE.js
sinus% ./cora  star q1.js \| aut-to-exp - > q1sE.js
Compiling module ratexp for lal_char_q
sinus% cat q1S.js
{"Automaton":[
  {"Context":[
    {"Labels":
      {"Label Type":"Letters" "Alphabet":["a","b"]}
    },
    {"Weights":
      {"Semiring":"Q"}
    }]
  },
  {"Content":[
    {"States":[
      {"Id":0 "Name":"s0"},
      {"Id":1 "Name":"s1"},
      {"Id":2 "Name":"s2"}]
    },
    {"Initial States":[0]},
    {"Final States":[
      {"Id":0 "Weight":"2"},
      {"Id":1 "Weight":"2"},
      {"Id":2 "Weight":"2"}]
    },
    {"Transitions":[
      {"Src":0 "Dst":1 "Label":"a" "Weight":"1/3"},
      {"Src":1 "Dst":1 "Label":"a" "Weight":"4/3"},
      {"Src":0 "Dst":2 "Label":"b" "Weight":"2/3"},
      {"Src":2 "Dst":2 "Label":"b" "Weight":"5/3"},
      {"Src":2 "Dst":1 "Label":"a" "Weight":"1/3"},
      {"Src":1 "Dst":2 "Label":"b" "Weight":"2/3"}]
    }]
  }]
}
sinus% ./cora  cat q1sE.js                         
libc++abi.dylib: terminating with uncaught exception of type std::runtime_error: parser "
zsh: abort      ./cora cat q1sE.js
sinus% ./cora  catE q1sE.js                        
libc++abi.dylib: terminating with uncaught exception of type std::runtime_error: json parser Q
zsh: abort      ./cora catE q1sE.js
sinus% cat q1sE.js                                 
{"Rational Expression":[
  {"Context":[
    {"Labels":
      {"Label Type":"Letters" "Alphabet":["a","b"]}
    },
    {"Weights":
      {"Semiring":"Q"}
    }]
  },
  {"Sum":[
    {"Sum":[
      {"LWeight":"2" "One":null},
      {"RWeight":"2" "Prod":[
        {"LWeight":"1/3" "Label":"a"},
        {"Star":
          {"LWeight":"4/3" "Label":"a"}
        }]
      }]
    },
    {"Prod":[
      {"Prod":[
        {"Sum":[
          {"LWeight":"2/3" "Label":"b"},
          {"Prod":[
            {"Prod":[
              {"LWeight":"1/3" "Label":"a"},
              {"Star":
                {"LWeight":"4/3" "Label":"a"}
              }]
            },
            {"LWeight":"2/3" "Label":"b"}]
          }]
        },
        {"Star":
          {"Sum":[
            {"LWeight":"5/3" "Label":"b"},
            {"Prod":[
              {"Prod":[
                {"LWeight":"1/3" "Label":"a"},
                {"Star":
                  {"LWeight":"4/3" "Label":"a"}
                }]
              },
              {"LWeight":"2/3" "Label":"b"}]
            }]
          }
        }]
      },
      {"Sum":[
        {"LWeight":"2" "One":null},
        {"RWeight":"2" "Prod":[
          {"LWeight":"1/3" "Label":"a"},
          {"Star":
            {"LWeight":"4/3" "Label":"a"}
          }]
        }]
      }]
    }]
  }]
}
sinus% 
sinus% ./cora  star q1.js \| aut-to-exp - \| exp-to-aut - \| edit -
sinus% ./cora  star q1.js \| aut-to-exp - \| exp-to-aut - qq1s.js  
Usage : exp-to-aut <exp>
sinus% ./cora  star q1.js \| aut-to-exp - \| exp-to-aut - > qq1s.js
sinus% ./cora  display qq1s.js                       
libc++abi.dylib: terminating with uncaught exception of type std::runtime_error: json parser Q
zsh: abort      ./cora display qq1s.js
sinus% ./cora -Itext -Aab -WZ exp-to-aut "<-1>(bb*)" > z1.js 
Compiling module context for lal_char_z
Compiling module derivation for lal_char_z
Compiling module output for lal_char_z
sinus% ./cora  display z1.js                                
sinus% ./cora  star z1.js > z1s.js
Compiling module standard for lal_char_z
sinus% ./cora  display z1s.js     
sinus% ./cora  edit z1.js         
sinus% ./cora  edit z1s.js
sinus% ./cora  display z1.js 
sinus% ./cora  edit z1.js   
sinus% ./cora  star z2.js > z2s.js
sinus% ./cora  display z2s.js     
sinus% ./cora  display z2.js
