Index of /trunk/examples/Automata/regression/nwa/operations/minimization/nfa
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
BuchiReduce_Asterix-reduced1.ats 2017-11-16 06:20 2.4K
BuchiReduce_Asterix-reduced2.ats 2017-11-16 06:20 2.4K
BuchiReduce_Asterix-reduced3.ats 2017-11-16 06:20 2.4K
BuchiReduce_Asterix-reduced4.ats 2017-11-16 06:20 2.5K
BuchiReduce_Bluegreen-original.ats 2017-11-16 06:20 2.7K
BuchiReduce_Bug01.ats 2017-11-16 06:20 2.5K
BuchiReduce_EtessamiFig3.ats 2017-11-16 06:20 3.1K
BuchiReduce_EtessamiFig3TwoCopies.ats 2017-11-16 06:20 3.4K
BuchiReduce_SccCommunication.ats 2017-11-16 06:20 2.5K
BuchiReduce_SequenceOfStates.ats 2017-11-16 06:20 2.6K
BuchiReduce_SizeChangeTermination2001ComplementOfInfeasibleN.ats 2017-11-16 06:20 9.0K
EmptyAutomaton.ats 2017-11-16 06:20 2.3K
MinimizeDfaHopcroftLists_Examples.ats 2017-11-16 06:20 5.2K
MinimizeDfaSimulation_4BitCounter-Abstraction10.ats 2017-11-16 06:20 6.8K
MinimizeDfaSimulation_4BitCounter-InterpolantAutomatonDeterminized_Iteration28.ats 2017-11-16 06:20 25K
MinimizeDfaSimulation_AlternatingLetter.ats 2017-11-16 06:20 2.3K
MinimizeDfaSimulation_Bug01.ats 2017-11-16 06:20 2.5K
MinimizeDfaSimulation_Bug02.ats 2017-11-16 06:20 2.4K
MinimizeDfaTable_Bug01.ats 2017-11-16 06:20 2.3K
MinimizeDfaTable_Bug02-reduced.ats 2017-11-16 06:20 2.6K
MinimizeDfaTable_Bug02.ats 2017-11-16 06:20 3.5K
MinimizeDfaTable_Example1.ats 2017-11-16 06:20 2.5K
MinimizeDfaTable_Example2-Real.ats 2017-11-16 06:20 2.5K
MinimizeDfaTable_Example3.ats 2017-11-16 06:20 2.9K
MinimizeDfaTable_Example4-NFA.ats 2017-11-16 06:20 2.5K
MinimizeDfaTable_Example5-NFA.ats 2017-11-16 06:20 2.4K
MinimizeDfaTable_Example6-NFATwoStates.ats 2017-11-16 06:20 2.2K
MinimizeNwaPmaxSatDirect_Bug01.ats 2017-11-16 06:20 2.4K
MinimizeSevpa_Bug02-reduced.ats 2017-11-16 06:20 2.3K
MinimizeSevpa_Bug02.ats 2017-11-16 06:20 2.8K
MinimizeSevpa_Bug03-reduced.ats 2017-11-16 06:20 2.6K
MinimizeSevpa_Bug03.ats 2017-11-16 06:20 2.9K
MinimizeSevpa_HopcroftDfaNontotalFail.ats 2017-11-16 06:20 2.6K
ReduceBuchiFairDirectSimulation_Bug01-NullPointerException.ats 2017-11-16 06:20 15K
ReduceBuchiFairDirectSimulation_Bug02.ats 2017-11-16 06:20 2.4K
ReduceBuchiFairDirectSimulation_Example.ats 2017-11-16 06:20 18K
ReduceBuchiFairSimulation_Examples.ats 2017-11-16 06:20 4.7K
ReduceNwaDelayedFullMultipebbleSimulation-Bug02-MissingSpoilerWinningSinkSelfloop.ats 2017-11-16 06:20 2.1K
ReduceNwaDelayedFullMultipebbleSimulation_Bug01.ats 2017-11-16 06:20 2.3K
ReduceNwaDelayedSimulation_Bug01.ats 2017-11-16 06:20 2.5K
ReduceNwaDelayedSimulationB_Bug01.ats 2017-11-16 06:20 2.4K
ReduceNwaDelayedSimulationB_Bug02.ats 2017-11-16 06:20 2.3K
ReduceNwaDelayedSimulationB_DelayedBug03-DeadEnds.ats 2017-11-16 06:20 2.5K
ReduceNwaDirectSimulation_BreathlessWolf01-reduced1.ats 2017-11-16 06:20 2.3K
ReduceNwaDirectSimulation_BreathlessWolf01-reduced2.ats 2017-11-16 06:20 2.5K
ReduceNwaDirectSimulation_BreathlessWolf01.ats 2017-11-16 06:20 3.7K
ReduceNwaDirectSimulationB_BugSanityCheck.ats 2017-11-16 06:20 2.5K