Class | Description |
---|---|
Automaton |
This class can represent different types of automaton: deterministic/non-deterministic and/or automata with output/automata without output.
|
NumberSystem |
The class NumberSystem represents a number system.
A number system consists of the following four: - a rule to represent non-negative numbers, and hence an alphabet - a rule for addition - a rule for comparison, and by comparison we mean equality and less than testing. - a flag that determines whether numbers are represented in most significant digit order or least significant digit. For example msd_3 is a number system. |
ParseMethods |