Concatenization of NFA works modulo renaming and empty word in first NFA
Renaming before Concatenation. Still contains bug
Removed TODO
Fixed bug, wrong use of fold
Merge branch 'master' into ConcatenizationOfNFA
Started treating the epsilon-case in NFA concatenation
Concatenation of DFA in terms of NFA and power set construction
Introducing more functional style, one-step recursion
First (not completely working) version with empty word
Seems to be working
Concatenation finished