| Clear All | Download |
| Download: |
|
| Automaton Type: Deterministic Parity | ||
|---|---|---|
| ID: 2781 |
|
Delete |
| Author: GOAL | ||
| St: 256 | ||
| Tr: 2048 | ||
|
Acceptance Condition: 0: {s0}, 1: {s9, s10, s11, s12, s95, s96, s99, s101, s103, s106, s108, s113, s115, s119, s122, s124, s129, s133, s135, s151, s153, s159, s161, s187, s189, s192, s194, s200, s202, s207, s212, s216, s217, s219, s226, s235, s240, s246, s247}, 2: {s16, s17, s21, s22, s25, s27, s28, s30, s31, s35, s36, s43, s44, s45, s46, s48, s49, s50, s55, s57, s60, s64, s67, s70, s71, s73, s74, s75, s79, s82, s83, s84, s86, s87, s89, s90, s91, s100, s102, s107, s111, s112, s116, s117, s126, s127, s130, s134, s136, s137, s138, s139, s143, s145, s146, s149, s152, s157, s158, s167, s168, s169, s170, s171, s172, s175, s177, s178, s179, s184, s185, s195, s196, s198, s203, s204, s205, s209, s210, s213, s220, s223, s224, s227, s230, s231, s232, s236, s237, s241, s242, s243, s251, s254, s255}, 3: {s13, s15, s32, s53, s58, s61, s77, s121, s123, s125, s180, s214, s233, s238, s244, s250}, 4: {s18, s19, s20, s23, s24, s26, s29, s33, s37, s38, s51, s52, s54, s56, s59, s80, s81, s85, s88, s92, s93, s128, s131, s132, s140, s141, s142, s144, s147, s148, s150, s154, s155, s156, s160, s173, s174, s176, s181, s182, s186, s188, s190, s191, s193, s197, s199, s201, s206, s208, s218, s221, s222, s225, s234, s252, s253}, 5: {s66, s105}, 6: {s68, s69, s72, s76, s78, s109, s110, s114, s118, s120, s211, s215, s245}, 7: {s1, s2, s3, s4, s5, s6, s7, s8, s14, s34, s39, s40, s41, s42, s47, s62, s63, s65, s94, s97, s98, s104, s162, s163, s164, s165, s166, s183, s228, s229, s239, s248, s249} |
||
| Clear All | Download |