-
Notifications
You must be signed in to change notification settings - Fork 1
Command:intersect
John Nicol edited this page Oct 26, 2025
·
1 revision
The "intersect" command intersects input automata. The syntax is as follows:
intersect <new> <old1> [old2] [old3] ... [oldN]
Results saved in: Result/, Automata Library/.
The "intersect" command requires at least one input automaton. All automata must have the same input alphabet.
For example, to take the intersection "res" of automata named "a1" and "a2" both saved in "Automata Library/", one uses the following command:
intersect res a1 a2
The resulting automaton "res" is saved in "Automata Library/", and accepts the intersection of the inputs accepted by "a1" and "a2".