 | HaLeX-1.1.1: HaLeX enables modelling, manipulation and animation of regular languages | Contents | Index |
| A | B | C | D | E | F | G | I | L | M | N | O | P | R | S | T | U | V | X | < |
| matches' | Language.HaLex.RegExp |
| matchesRE | Language.HaLex.RegExp |
| minimize | Language.HaLex.FaClasses |
| minimizeDfa | Language.HaLex.Minimize |
| minimizeExp | Language.HaLex.Minimize |
| minimizeNdfa | Language.HaLex.Minimize |
| moves | |
| 1 (Function) | Language.HaLex.DfaMonad |
| 2 (Function) | Language.HaLex.Examples.Robot |
| moves2 | |
| 1 (Function) | Language.HaLex.DfaMonad |
| 2 (Function) | Language.HaLex.Examples.Robot |
| moves3 | |
| 1 (Function) | Language.HaLex.DfaMonad |
| 2 (Function) | Language.HaLex.Examples.Robot |
| moves4 | |
| 1 (Function) | Language.HaLex.DfaMonad |
| 2 (Function) | Language.HaLex.Examples.Robot |