diff --git a/models/Application_examples/Tic_Tac_Toe.mp b/models/Application_examples/Tic_Tac_Toe.mp index 3c069d13b34270089999156e20f88d4d24a25335..b8f6f798b0eeb6df7a2ef38d537fb90dead7e8a6 100644 --- a/models/Application_examples/Tic_Tac_Toe.mp +++ b/models/Application_examples/Tic_Tac_Toe.mp @@ -5,7 +5,16 @@ │*│ │ Modified by Michael Collins and Pamela Dyer │ │ │*│ │ in January through May, 2022. │ │ │*│ │ | | -│*│ │ Thanks to Emma Werking for her contributions. │ │ +│*│ │ Many thanks to Emma Werking for providing the │ │ +│*│ │ technical foundations of this effort. │ │ +│*│ │ Many thanks to Kristin Giammarco for her insight │ │ +│*│ │ and recommendations. │ │ +│*│ │ Many thanks to Michelle Morneau at the NPS │ │ +│*│ │ Graduate Writing Center for providing the │ │ +│*│ │ translation from our modeling dialects. This │ │ +│*│ │ helped with better communicating the project, │ │ +│*│ │ while also ensuring that the required technical│ │ +│*│ │ precision was still maintained. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Purpose ]────────────────────────────────────────┠│ @@ -46,7 +55,7 @@ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ -│*│ │ tic-tac-toe, behavior; strategy; assertion checking│ │ +│*│ │ tic-tac-toe; behavior, strategy; assertion checking│ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Instructions ]───────────────────────────────────┠│ @@ -105,13 +114,13 @@ choosing_remnant_NOT_beside_an_X_on_2nd_move : /* Player going second makes mistake on second move of the game */ choosing_a_corner_on_2nd_move : - /* first move */ X_chooses_corner + /* first move */ X_chooses_corner /* second move - mistake */ O_chooses_corner - /* third move */ X_chooses_any_corner - /* fourth move */ O_blocks_ - /* fifth move */ X_chooses_last_corner - /* sixth move */ O_blocks_one_path - /* seventh move */ X_wins; + /* third move */ X_chooses_any_corner + /* fourth move */ O_blocks_ + /* fifth move */ X_chooses_last_corner + /* sixth move */ O_blocks_one_path + /* seventh move */ X_wins; /* Player going second makes mistake on fourth move of the game */ @@ -122,7 +131,7 @@ choosing_center_on_2nd_Move_and_any_corner_on_4th_move : /* fourth move - mistake */ O_chooses_any_corner /* fifth move */ X_blocks /* sixth move */ O_blocks - /* seventh move */ X_wins; + /* seventh move */ X_wins; /* No mistakes made by either player */ @@ -175,19 +184,19 @@ DO OD; COORDINATE $second_move: ( - O_chooses_remnant_next_to_X_on_first_turn | - O_chooses_remnant_NOT_beside_an_X_on_first_turn | - O_chooses_corner | - O_chooses_center + O_chooses_remnant_next_to_X_on_first_turn | + O_chooses_remnant_NOT_beside_an_X_on_first_turn | + O_chooses_corner | + O_chooses_center ) DO ADD SAY("SECOND MOVE OF THE GAME.") PRECEDES $second_move; OD; COORDINATE $third_move: ( - X_chooses_center | - X_chooses_any_corner | - X_chooses_corner_opposite_previous_X + X_chooses_center | + X_chooses_any_corner | + X_chooses_corner_opposite_previous_X ) DO ADD SAY("THIRD MOVE OF THE GAME.") PRECEDES $third_move;