Clear All Download
Download:
Automaton Type: Deterministic Parity
ID: 2628 Delete
Author: GOAL
St: 325
Tr: 2600
Acceptance Condition:
0: {s0, s4, s10, s11, s12, s15, s16, s29, s30, s163, s296}, 2: {s101, s102, s105, s106, s109, s110, s113, s114, s116, s117, s121, s122, s125, s126, s129, s130, s134, s135, s137, s138, s139, s142, s143, s145, s146, s149, s150, s152, s153, s157, s161, s164, s166, s179, s180, s181, s184, s185, s188, s189, s192, s193, s195, s196, s198, s199, s202, s203}, 3: {s18, s49, s53, s57, s59, s68, s72, s76, s168, s259}, 4: {s21, s22, s25, s26, s31, s32, s34, s35, s40, s41, s50, s54, s58, s60, s61, s63, s64, s66, s67, s69, s73, s77, s86, s87, s95, s140, s141, s144, s147, s148, s151, s154, s155, s156, s158, s159, s160, s162, s165, s174, s213, s214, s217, s218, s221, s223, s224, s227, s228, s231, s234, s235, s245, s246, s248, s249, s262, s263, s266, s267, s269, s270, s272, s273, s278, s279, s282, s283, s286, s291, s295, s307, s308, s316, s324}, 5: {s23, s24, s48, s78, s79, s89, s90, s91, s104, s136, s170, s186, s187, s204, s206, s212, s238, s253, s254, s302, s309, s310, s320}, 6: {s38, s39, s51, s52, s55, s56, s65, s82, s83, s92, s107, s108, s111, s112, s115, s118, s119, s120, s132, s133, s167, s172, s173, s191, s197, s200, s201, s205, s215, s216, s219, s220, s222, s225, s226, s232, s233, s241, s242, s250, s251, s252, s276, s277, s281, s285, s289, s290, s292, s293, s305, s306, s312, s313, s321}, 7: {s33, s42, s71, s81, s88, s97, s124, s131, s169, s240, s247, s271, s280, s311, s319}, 8: {s36, s37, s62, s74, s75, s84, s85, s93, s94, s127, s128, s194, s229, s230, s236, s243, s244, s274, s275, s284, s294, s314, s315, s322, s323}, 9: {s27, s70, s80, s96, s123}, 11: {s1, s2, s3, s5, s6, s7, s8, s9, s13, s14, s17, s19, s20, s28, s43, s44, s45, s46, s47, s98, s99, s100, s103, s171, s175, s176, s177, s178, s182, s183, s190, s207, s208, s209, s210, s211, s237, s239, s255, s256, s257, s258, s260, s261, s264, s265, s268, s287, s288, s297, s298, s299, s300, s301, s303, s304, s317, s318}
Clear All Download