String realization version 0.2
DFA v0.1
linux pthread