TRE2TA Usage Manual

Name

tre2ta - Translate a timed regular expression to a timed automaton

Synopsis

tre2ta [OPTIONS] PATTERN
tre2ta [OPTIONS] -e PATTERN

Description

tre2ta is a tool to translate a timed regular expression to a timed automaton. For both of them, the syntax is the same as that of MONAA.

Options

-h, --help : Print a help message.

-V, --version : Print the version

-e pattern, --expression pattern : Specify a pattern by a timed regular expression.

Exit Status

0 : if there is no error.

1 : if an error on options has happened.

2 : if a parse error has happened.

Example

The following is an example to translate the TRE (ab)%(2,10) to a TA. The result is written to the standard output.

tre2ta -e '(ab)%(2,10)'

You can omit -e as follows.

tre2ta '(ab)%(2,10)'