Removed possible bug in NFA *-op (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