Beginning state alphabet testing
Documentation update