Automaton

Simple NFA to DFA transformation by powerset construction, verified with stainless.

Name		Name	Last commit message	Last commit date
Latest commit History 112 Commits
report		report
.gitignore		.gitignore
Automaton.scala		Automaton.scala
AutomatonCache.scala		AutomatonCache.scala
README.md		README.md
Set.scala		Set.scala
TODO.org		TODO.org
USet.scala		USet.scala
last.log		last.log

Provide feedback