Documentation ¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type AbstractStack ¶
type AbstractStack interface { Push(TM.Symbol) []AbstractStack Pop() ([]TM.Symbol, []AbstractStack) String() string NeatString(bool) string Length() int }
type Heuristics ¶
type Heuristics struct { SoftLengthLimitAny int AdditionalSymbolsToAny int LengthLimit int RepetitionsBeforeAbstraction int RepetitionLimit int NestedRepetitions bool NoRepeaterUntilLength int FixedRepetitionLength int RepetitionLengthLowerLimit int ConsecutiveRepeatersToOr bool MaxOrBranches int UseStarInsteadOfPlus bool Buffer int }
func FullAbstraction ¶
func FullAbstraction(repetitionLimit int, lengthLimit int) Heuristics
func NoAbstraction ¶
func NoAbstraction() Heuristics
func RepetitionsWithLimit ¶
func RepetitionsWithLimit(RepetitionsUntilTry int, repetitionLimit int, lengthLimit int) Heuristics
func SoftLimitAny ¶
func SoftLimitAny(limit int) Heuristics
func (Heuristics) IndentedString ¶
func (heuristics Heuristics) IndentedString(indent string) string
type StackCollection ¶
type StackCollection interface { EmptyStack() AbstractStack AnyEndStack() AbstractStack }
func NewStackCollection ¶
func NewStackCollection(tm TM.TuringMachine, abstractions Heuristics) StackCollection
Click to show internal directories.
Click to hide internal directories.