| File | determinize.str |
| Author | Martin Bravenboer |
| Since | unknown |
Implements Determinization Algorithm DET of TATA (page 24)
| General | |
| Lines of code | 162 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 8 (12% documented) |
| Rule number | 3 (0% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| rtg-determinize | n/a | determinize.str |
| rtg-determinize-start-state(ATerm states-start) | n/a | determinize.str |
| rtg-determinize-start-states(ATerm states-start) | n/a | determinize.str |
| rtg-determinize-step(ATerm state-states-d, ATerm states-d, ATerm reverse-trans, ATerm symbol-tbl, ATerm trans-d) | n/a | determinize.str |
| rtgdet-init-reverse-trans(ATerm tbl) | n/a | determinize.str |
| rtgdet-init-reverse-trans(ATerm tbl) | n/a | determinize.str |
| rtgdet-init-symbol-tbl(ATerm tbl) | n/a | determinize.str |
| rtgdet-init-symbol-tbl(ATerm tbl) | n/a | determinize.str |
Rule summary |
||
| rtgdet-normalize-conc | n/a | determinize.str |
| rtgdet-normalize-none | n/a | determinize.str |
| rtgdet-normalize-some | n/a | determinize.str |
Strategy details |
|||||||||||||||||
| ATerm | rtg-determinize-step(ATerm state-states-d, ATerm states-d, ATerm reverse-trans, ATerm symbol-tbl, ATerm trans-d) | ||||||||||||||||
No information available. |
|||||||||||||||||