Automata Wiki

For more information about the models see circuits.txt.

• bbara_minimized.dot
• bbsse_minimized.dot
• bbsse_with_hidden_states_with_sink_minimized.dot
• bbsse_with_loops_with_hidden_states_minimized.dot
• bbtas_minimized.dot
• beecount_with_loops_minimized.dot
• beecount_with_sink_minimized.dot
• cse_with_hidden_states_with_sink_minimized.dot
• cse_with_loops_minimized.dot
• cse_with_loops_with_hidden_states_minimized.dot
• cse_with_sink_minimized.dot
• dk14_minimized.dot
• dk15_minimized.dot
• dk16_minimized.dot
• dk17_minimized.dot
• dk27_minimized.dot
• dk512_minimized.dot
• donfile_minimized.dot
• dvram_minimized.dot
• ex1_with_loops_minimized.dot
• ex1_with_sink_minimized.dot
• ex2_with_hidden_states_with_sink_minimized.dot
• ex2_with_loops_minimized.dot
• ex2_with_loops_with_hidden_states_minimized.dot
• ex2_with_sink_minimized.dot
• ex3_with_hidden_states_with_sink_minimized.dot
• ex3_with_loops_minimized.dot
• ex3_with_loops_with_hidden_states_minimized.dot
• ex3_with_sink_minimized.dot
• ex4_minimized.dot
• ex5_with_hidden_states_with_sink_minimized.dot
• ex5_with_loops_minimized.dot
• ex5_with_loops_with_hidden_states_minimized.dot
• ex5_with_sink_minimized.dot
• ex6_with_loops_minimized.dot
• ex6_with_sink_minimized.dot
• ex7_with_hidden_states_with_sink_minimized.dot
• ex7_with_loops_minimized.dot
• ex7_with_loops_with_hidden_states_minimized.dot
• ex7_with_sink_minimized.dot
• fetch_minimized.dot
• keyb_minimized.dot
• keyb_with_hidden_states_with_sink_minimized.dot
• keyb_with_loops_with_hidden_states_minimized.dot
• lion9_with_loops_minimized.dot
• lion9_with_sink_minimized.dot
• lion_with_hidden_states_with_sink_minimized.dot
• lion_with_loops_minimized.dot
• lion_with_loops_with_hidden_states_minimized.dot
• lion_with_sink_minimized.dot
• log_minimized.dot
• mark1_with_hidden_states_with_sink_minimized.dot
• mark1_with_loops_minimized.dot
• mark1_with_loops_with_hidden_states_minimized.dot
• mark1_with_sink_minimized.dot
• mc_minimized.dot
• modulo12_minimized.dot
• nucpwr_minimized.dot
• opus_with_loops_minimized.dot
• opus_with_sink_minimized.dot
• planet1_with_hidden_states_with_sink_minimized.dot
• planet1_with_loops_minimized.dot
• planet1_with_loops_with_hidden_states_minimized.dot
• planet1_with_sink_minimized.dot
• planet_with_hidden_states_with_sink_minimized.dot
• planet_with_loops_minimized.dot
• planet_with_loops_with_hidden_states_minimized.dot
• planet_with_sink_minimized.dot
• pma_with_loops_minimized.dot
• pma_with_sink_minimized.dot
• ram_test_minimized.dot
• rie_minimized.dot
• s1488_with_loops_minimized.dot
• s1488_with_sink_minimized.dot
• s1494_with_loops_minimized.dot
• s1494_with_sink_minimized.dot
• s1_with_loops_minimized.dot
• s1_with_sink_minimized.dot
• s1a_with_loops_minimized.dot
• s1a_with_sink_minimized.dot
• s208_minimized.dot
• s27_with_loops_minimized.dot
• s27_with_sink_minimized.dot
• s298_minimized.dot
• s386_with_loops_minimized.dot
• s386_with_sink_minimized.dot
• s420_with_loops_minimized.dot
• s420_with_sink_minimized.dot
• s510_with_loops_minimized.dot
• s510_with_sink_minimized.dot
• s820_with_loops_minimized.dot
• s820_with_sink_minimized.dot
• s832_with_loops_minimized.dot
• s832_with_sink_minimized.dot
• s8_minimized.dot
• sand_with_hidden_states_with_sink_minimized.dot
• sand_with_loops_minimized.dot
• sand_with_loops_with_hidden_states_minimized.dot
• sand_with_sink_minimized.dot
• scf_with_hidden_states_with_sink_minimized.dot
• scf_with_loops_minimized.dot
• scf_with_loops_with_hidden_states_minimized.dot
• scf_with_sink_minimized.dot
• shiftreg_minimized.dot
• styr_with_hidden_states_with_sink_minimized.dot
• styr_with_loops_minimized.dot
• styr_with_loops_with_hidden_states_minimized.dot
• styr_with_sink_minimized.dot
• sync_minimized.dot
• tav_minimized.dot
• tbk_minimized.dot
• tma_with_loops_minimized.dot
• tma_with_sink_minimized.dot
• train11_with_hidden_states_with_sink_minimized.dot
• train11_with_loops_minimized.dot
• train11_with_loops_with_hidden_states_minimized.dot
• train11_with_sink_minimized.dot
• train4_with_hidden_states_with_sink_minimized.dot
• train4_with_loops_minimized.dot
• train4_with_loops_with_hidden_states_minimized.dot
• train4_with_sink_minimized.dot