Added machine that accepts strings with exactly two ones.