diff --git a/tests.aconversion.sh b/tests.aconversion.sh index f215ef265f05b5aecaba6eb347aa8296abd31703..ddc640745531f19b93ab5795083d6f82fc647395 100755 --- a/tests.aconversion.sh +++ b/tests.aconversion.sh @@ -157,26 +157,26 @@ function runTest { echo "" } -## FA -> RG -> FA -## covers: FA -> LRG, FA -> RRG, RRG <-> LRG, RRG -> FA, LRG -> FA -#runTest "./aconversions2 -t RRG | ./aconversions2 -t LRG | ./aconversions2 -t FA" -#runTest "./aconversions2 -t LRG | ./aconversions2 -t RRG | ./aconversions2 -t FA" -# -## FA -> RE -> FA -## covers: FA -> RE (Brzozowski algebraic, elimination), RE -> FA (Brzozowski derivation, Thompson, Glushkov) -#runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a brzozowski" -#runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a thompson" -#runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a glushkov " -#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a brzozowski" -#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a thompson" -#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a glushkov" -# -## FA -> RE -> RRG -> LRG -> FA -## covers: FA -> RE (Brz. algebraic, elimination), RE -> RRG ( Brz. derivation, Glushkov), RRG -> LRG, LRG -> FA -#runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA" -#runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA" -#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA" -#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA" +# FA -> RG -> FA +# covers: FA -> LRG, FA -> RRG, RRG <-> LRG, RRG -> FA, LRG -> FA +runTest "./aconversions2 -t RRG | ./aconversions2 -t LRG | ./aconversions2 -t FA" +runTest "./aconversions2 -t LRG | ./aconversions2 -t RRG | ./aconversions2 -t FA" + +# FA -> RE -> FA +# covers: FA -> RE (Brzozowski algebraic, elimination), RE -> FA (Brzozowski derivation, Thompson, Glushkov) +runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a brzozowski" +runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a thompson" +runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a glushkov " +runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a brzozowski" +runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a thompson" +runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a glushkov" + +# FA -> RE -> RRG -> LRG -> FA +# covers: FA -> RE (Brz. algebraic, elimination), RE -> RRG ( Brz. derivation, Glushkov), RRG -> LRG, LRG -> FA +runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA" +runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA" +runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA" +runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA" # FA -> RRG -> RE -> FA # covers: FA -> RRG, FA -> LRG, RRG -> RE, LRG -> RE, RE -> FA (Brz. derivation, Thompson, Glushkov)