Walnut commands reference - Walnut-Theorem-Prover/Walnut GitHub Wiki

Commands

If a command is not described fully here, please see Walnut help, or earlier documentation

General Automata (DFA/NFA/DFAO/NFAO) Commands

• alphabet
• convert
• def or eval
• describe
• reverse
• transduce

Automata (DFA/NFA) -specific commands

• combine
• concat
• fixleadzero and fixtrailzero
• inf
• intersect
• leftquo and rightquo
• reg
• star
• test
• union

Word Automata (DFAO/NFAO) -specific Commands

• join
• minimize
• rsplit
• split

Custom Base Commands

• ost

Macro Commands

• macro

Morphism Commands

• image
• morphism
• promote

Metacommands

• [export] : Export intermediate automata to files
• [strategy] : Choose NFA determinization strategy

File commands

• export : export automaton to a file
• load : load commands from a file

Walnut

• clear or cls : clear screen
• exit or quit : exit Walnut
• help : get help with commands