/
symbolsegment.go
80 lines (76 loc) · 2.04 KB
/
symbolsegment.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
package abstracttapestack
import (
"fmt"
TM "github.com/Iijil1/Bruteforce-CTL/turingmachines"
)
type symbol struct {
list *stackList
value TM.Symbol
segmentExtensions map[segment]segment
repeater segment
orExtensions map[segment]segment
}
func (s *symbol) pop(tail *stack) ([]TM.Symbol, []AbstractStack) {
return []TM.Symbol{s.value}, []AbstractStack{tail}
}
func (s *symbol) extend(value segment) segment {
if extension, exists := s.segmentExtensions[value]; exists {
return extension
} else {
newNumber := s.list.newSequence(value, s)
s.segmentExtensions[value] = newNumber
return newNumber
}
}
func (s *symbol) repeat() segment {
if s.repeater != nil {
return s.repeater
} else {
return s.list.newRepeater(s)
}
}
func (s *symbol) unrepeat() segment {
return s
}
func (s *symbol) setupRepeater(currentStack *stack, baseStack *stack) {
if list, exists := currentStack.extensions[s.value]; exists {
currentStack.extensions[s.value] = append(list, baseStack)
} else {
if _, isOrSegment := baseStack.top.unrepeat().(*orSegment); isOrSegment {
currentStack.extensions[s.value] = []AbstractStack{baseStack, currentStack.pushSegment(s)}
} else {
currentStack.extensions[s.value] = []AbstractStack{baseStack}
}
}
}
func (s *symbol) registerRepeater(entry segment) {
s.repeater = entry
s.registerOr(entry, entry)
}
func (*symbol) numRepeaters() int {
return 0
}
func (s *symbol) or(value2 segment) segment {
if extension, exists := s.orExtensions[value2]; exists {
return extension
} else {
return s.list.newOrSegment(s, value2)
}
}
func (s *symbol) registerOr(value2 segment, extension segment) {
s.orExtensions[value2] = extension
s.orExtensions[extension] = extension
}
func (*symbol) orBranches() int {
return 1
}
func (s *symbol) selfString(bool) string {
return fmt.Sprint(s.value)
}
func (s *symbol) neatString(reverse bool, tail *stack) string {
if reverse {
return s.selfString(reverse) + tail.NeatString(reverse)
} else {
return tail.NeatString(reverse) + s.selfString(reverse)
}
}