lab#2
test files and state diagrams