State machine glossary