|
|
||||||
|
<Generator name="eventually allways allternating a and b" ftype="RabinAutomaton"> % % Statistics for eventually allways allternating a and b % % States: 4 % Init/Marked: 1/0 % Events: 2 % Transitions: 8 % StateSymbols: 0 % Attrib. E/S/T: 0/0/0 % <Alphabet> a b </Alphabet> <States> 1 2 3 4 </States> <TransRel> 1 a 2 1 b 4 2 a 3 2 b 1 3 a 3 3 b 1 4 a 3 4 b 4 </TransRel> <InitStates> 4 </InitStates> <MarkedStates/> <RabinAcceptance> <RabinPair name="RabinPair"> <R> 1 2 </R> <I> 1 2 </I> </RabinPair> </RabinAcceptance> </Generator>
libFAUDES 2.33l --- 2025.09.16 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings-hybrid-example-pybindings"