- receiver() - Method in class CA.CATransition
-
- recGen(int[][], int[][], int[], int, int, int[]) - Static method in class CA.CAUtil
-
Generates all possible combinations of the states in fin, stored in modif
- removeHangedTransitions(CA) - Static method in class CA.CAUtil
-
remove transitions who do not reach a final state
- removeUnreachable(CA) - Static method in class CA.CAUtil
-
remove the unreachable transitions from aut
- request() - Method in class CA.CATransition
-
- restoreStateContinuation(Continuation) - Method in class FMA.FMASimulator
-
restore the state of the simulator with the parameters in the continuation C.
- restoreStateContinuation(Continuation) - Method in class FSA.Simulator
-
restore the state of the simulator freezed in the continuation c
- restoreStateContinuation(Continuation) - Method in class PFSA.PFSASimulator
-
restore the state of the simulator with the parameters in the continuation C.
- run() - Method in class FSA.FSA
-
Take in input a string to be recognized by the automaton, create an instance of the Simulator
and run it with the string in input.
- run(int[]) - Method in class FSA.Simulator
-
At every iteration:
first check if the string is consumed, then if we are in a final state and the side conditions are verified then the string is accepted,
else backtracking if possible, otherwise return false
if the string is not consumed yet:
if there is a continuation then performs the step stored
else if there are possible steps then performs one and store the others in the continuation
if no possible step are allowed, then performs backtracking or if the continuation is empty return false