Toads and Frogs Game: Finite State Method

Paper:

1)Symbolic Finite- state Method

2)The value of classes of Toads and Frogs as a reference of the first paper above.

Library values of Toads and Frogs.

Program:

3) Program accompany the above papers.

Input-Output File for Class A11.

Input-Output File for Class A21.

Input-Output File for Class A31.

Input-Output File for Class A41.

Input-Output File for Class A51.

Input-Output File for Class A12.

Input-Output File for Class A22.

Input-Output File for Class A32.

4) Test File for the value of the game and symbolic computation of the value of the game.

Input-Output of the test file.