% Clear and close everything
clear all; close all; fclose all;

% Run setup.m
setup;

% Set working folder
init('Complement');

% Creat an automaton (DES)
Q = 2; % number of states
       % the initial state q0 is always labeled "0"
Qm = [0]; % marker state set
delta = [0,10,1; % transition triples (exit state, event, enter state)
         1,11,0;];
create('G', Q, delta, Qm); % create automaton

complement('Gco', 'G', []);
displaydes('Gco');