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

% Run setup.m
setup;

% Set a folder name
init('Test');

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

figure(1)
displaydes('CAR') % display automaton


trim('TRIMCAR','CAR')

figure(2)
displaydes('TRIMCAR') % display automaton