Skip to content

Command:intersect

Jump to bottom
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".

Clone this wiki locally