abstracttapestack

type AbstractStack interface {
	Push(TM.Symbol) []AbstractStack
	Pop() ([]TM.Symbol, []AbstractStack)
	String() string
	NeatString(bool) string
	Length() int
}

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
}

type StackCollection interface {
	EmptyStack() AbstractStack
	AnyEndStack() AbstractStack
}