Büchi Store

Clear All	Download
Download:	GFF Promela JPG

Automaton Type: Nondeterministic Parity
ID: 1971		Delete
Author: GOAL
St: 4
Tr: 62
Acceptance Condition: 0: {s2, s3}, 1: {s0, s1}

Automaton Type: Nondeterministic Streett
ID: 1640		Delete
Author: GOAL
St: 4
Tr: 28
Acceptance Condition: { ({s1, s2}, {s0, s1, s2, s3}) }

Automaton Type: Nondeterministic Büchi
ID: 697		Delete
Author: R.Ehlers / NBWMinimizer
St: 4
Tr: 82
Acceptance Condition: {s2, s3}

Automaton Type: Nondeterministic Rabin
ID: 1360		Delete
Author: GOAL
St: 4
Tr: 82
Acceptance Condition: { (∅, {s2, s3}) }

Automaton Type: Deterministic Parity
ID: 2806		Delete
Author: GOAL
St: 78
Tr: 1248
Acceptance Condition: 0: {s0, s3, s4, s9, s10, s17, s18, s21, s22, s27, s28, s29, s30, s40, s41, s44, s45, s60, s62}, 1: {s66}, 2: {s15, s16, s35, s36, s37, s46, s47, s55, s61, s70}, 3: {s12, s38, s39, s52, s53, s54, s56, s58, s59, s64, s65, s71, s72, s74, s76}, 4: {s42, s43}, 5: {s1, s2, s5, s6, s7, s8, s11, s13, s14, s19, s20, s23, s24, s25, s26, s31, s32, s33, s34, s48, s49, s50, s51, s57, s63, s67, s68, s69, s73, s75, s77}

Automaton Type: Deterministic Parity
ID: 2825		Delete
Author: GOAL
St: 102
Tr: 3264
Acceptance Condition: 0: {s0, s1, s14}, 1: {s68, s70, s72, s73, s76, s84, s86, s87, s88, s90, s91, s93, s95, s97, s98, s100}, 2: {s9, s18, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s69, s71, s74, s75, s77, s78, s79, s80, s81, s82, s83, s85, s89, s92, s94, s96, s99, s101}, 3: {s10, s12, s15, s19, s57, s58, s59, s60, s62, s63, s64}, 4: {s13, s16, s17, s20, s21, s22, s23, s24, s25, s26, s27, s28, s56}, 5: {s2, s3, s4, s5, s6, s7, s8, s11, s61, s65, s66, s67}