Package | Description |
---|---|
Automata | |
Main | |
Token |
Class and 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. |
Class and 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. |
Class and 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. |