Bentriou Mahmoud
authored
All automata were readapted and are in accordance with the last description of the thesis. Tests passed
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| automaton_F.jl | ||
| automaton_G.jl | ||
| automaton_G_and_F.jl | ||
| euclidean_distance_automaton.jl | ||
| period_automaton.jl | ||