We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 86ae42a commit 60fda08Copy full SHA for 60fda08
dfa_min_data.go
@@ -13,11 +13,11 @@ type splitter struct {
13
14
// DFA represents a finite automata
15
type DFA struct {
16
- States Partition `json:"States"`
17
- Alphabet []int `json:"Alphabet"`
18
- InitialState State `json:"InitialState"`
19
- FinalStates Partition `json:"FinalStates"`
20
- Delta map[State]map[int]State `json:"Delta"` // Given state and symbol returns the state
+ States Partition `json:"states"`
+ Alphabet []int `json:"alphabet"`
+ InitialState State `json:"initialState"`
+ FinalStates Partition `json:"finalStates"`
+ Delta map[State]map[int]State `json:"delta"` // Given state and symbol returns the state
21
}
22
23
// Size returns the number of states of the automata
0 commit comments