![View this language class, its ancestors, and its descendants in the "Containment Lattice". View this language class, its ancestors, and its descendants in the "Containment Lattice".](http://buchi.im.ntu.edu.tw/images/FocusNode64x64.png)
Automaton Type: Nondeterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 3193 | Author: GOAL | #2 | ID: 3192 | Author: GOAL | #3 | ID: 3191 | Author: GOAL | |||
St: 3 | Tr: 24 | Date: 2024-06-09 11:04:46 | St: 3 | Tr: 24 | Date: 2024-06-09 11:04:45 | St: 3 | Tr: 24 | Date: 2024-06-09 11:04:44 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | |||||||||
Acceptance condition: s1 |
Acceptance condition: s2 |
Acceptance condition: s1 |
|||||||||
![]() |
![]() |
![]() |
Automaton Type: Deterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 3193 | Author: GOAL | #2 | ID: 3192 | Author: GOAL | #3 | ID: 3191 | Author: GOAL | |||
St: 3 | Tr: 24 | Date: 2024-06-09 11:04:46 | St: 3 | Tr: 24 | Date: 2024-06-09 11:04:45 | St: 3 | Tr: 24 | Date: 2024-06-09 11:04:44 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | |||||||||
Acceptance condition: s1 |
Acceptance condition: s2 |
Acceptance condition: s1 |
|||||||||
![]() |
![]() |
![]() |