-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathChoiceFile.txt
More file actions
25 lines (25 loc) · 843 Bytes
/
ChoiceFile.txt
File metadata and controls
25 lines (25 loc) · 843 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
-----------------------------
Choose an action:
-----------------------------
(1)Load an automaton from a .csv file
(2)Display the automaton from a .csv file
(3)Display the automaton in memory
(4)Register the automaton in memory in a .csv file
(5)Erase the automaton in memory
(6)Create an automaton
(7)Modify the automaton in memory
(8)Check if the automaton is a final state automaton
(9)Check that the automaton is complete
(10)Complete the automaton
(11)Check if a word is admitted by an Automaton
(12)Check if an automaton is determinist
(13)Determinise the automaton
(14)Find the Complement of the automaton
(15)Find the mirror of the automaton
(16)Product of two automatons
(17)Concatenate two automatons
(18)Extract the Regular Expression from an automaton in memory
(19)
(20)
(21)Excise an automaton
(0)Stop the programm