Index of types
Index of exceptions
Index of values
Index of modules
Fsa
Execução de autómatos não deterministas com (potencialmente) transições epsilon