Translating Automata: Comparing Automata Based on Intrinsic Characteristics

Established research that is done on finding similarities between two finite automata, or finite state machines, is based on matching symbols that are shared between the two automata. In our research, we define a scenario in which the shared alphabet is either partially or completely obscured due to translations. We emulate a scenario where 2...