| |
|
||||||
|
|
|||||||
<Generator ftype="RabinAutomaton"> % % Statistics for Generator % % States: 8 % Init/Marked: 1/2 % Events: 4 % Transitions: 16 % StateSymbols: 8 % Attrib. E/S/T: 0/0/0 % <Alphabet> a b c d </Alphabet> <States> A|I A|R B|R B|F dump|R dump|I dump|F A|F </States> <TransRel> A|I a A|R A|I b B|R A|R c A|I A|R d A|F B|R c A|I B|R d B|F B|F a dump|R B|F b B|R dump|R c dump|I dump|R d dump|F dump|I a dump|R dump|I b dump|R dump|F a dump|R dump|F b dump|R A|F a A|R A|F b B|R </TransRel> <InitStates> A|I </InitStates> <MarkedStates> A|I dump|I </MarkedStates> <RabinAcceptance> <RabinPair name="RabinPair"> <R> B|R B|F </R> <I> A|I A|R B|R B|F A|F </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"