create(G, statenum, trans, marker)

creates an automaton model (.DES file)

Parameters

Name	Type	Description	Default
`G`	string	name of output automaton	required
`statenum`	int	number of states	required
`trans`	TransList	list of transition tuples. For more information, please see TransList Type.	required
`marker`	list	list of marker states	required

TransList Type

There are several options for writing transition tuples.

Number-type event (Traditional TCT)

(exit state: int, event: int, enter_state: int)

Note

By default odd-number event is controllable and even-number event is uncontrollable.
```
trans: TransList = [
    (0, 11, 1),
    (1, 10, 0),
    (1, 12, 2),
]
```
String-type event (PyTCT Original)

(exit state: int, event: string, enter_state: int, 'u'[uncontrollable] or 'c'[controllable])

Note

String-type events and number-type events cannot be mixed.
```
trans: TransList = [
    (0, 'run', 1, 'c'),
    (1, 'finish', 0, 'u'),
    (1, 'broken', 2, 'u'),
]
```
String-type event and string-type state (PyTCT Original)

(exit state: string, event: string, enter_state: string, 'u'[uncontrollable] or 'c'[controllable])

Note

String-type states cannot be displayed on AutomatonDisplay after being processed by other functions such as sync.
```
trans: TransList = [
    ('idle', 'run', 'working', 'c'),
    ('working', 'finish', 'idle', 'u'),
    ('working', 'broken', 'repairing', 'u'),
]
```

Example

sample 1

delta = [
    (0, 11, 1),
    (1, 10, 0),
    (1, 12, 2),
    (2, 13, 0),
    (0, 15, 3)
]
Qm = [0, 1]
pytct.create('G', 4, delta, Qm)

sample 2

delta = [
    (0, 'run', 1, 'c'),
    (1, 'finish', 0, 'u'),
    (1, 'broken', 2, 'u'),
    (2, 'repaired', 0, 'c'),
    (0, 'sold', 3, 'c')
]
Qm = [0,1]
pytct.create('G', 4, delta, Qm)

sample 3

delta = [
    ('idle', 'run', 'running', 'c'),
    ('running', 'finish', 'idle', 'u'),
    ('running', 'broken', 'broken', 'u'),
    ('broken', 'repaired', 'idle', 'c'),
    ('idle', 'sold', 'sold', 'c')
]
Qm = ['idle', 'running']
pytct.create('G', 4, delta, Qm)